--- a/dwtx/dwtxhelper/PushbackReader.d	Wed Aug 27 14:49:30 2008 +0200
+++ b/dwtx/dwtxhelper/PushbackReader.d	Mon Sep 08 00:51:37 2008 +0200
@@ -1,5 +1,11 @@
 module dwtx.dwtxhelper.PushbackReader;
 
-class PushbackReader{
+import dwt.dwthelper.utils;
+
+class PushbackReader : Reader {
+    this( Reader reader ){
+    }
+    void unread( char c ){
+    }
 }