Unbreak these programs after Unicode IO support was added
[nofib.git] / real / veritas / Main.hs
index 59b40da..3b57e11 100644 (file)
@@ -36,11 +36,14 @@ import Tags
 
 import Parse
  
+import System.IO
 
 
 --proof_edit : string list * string list -> unit 
 
 main = do
+    hSetBinaryMode stdin  True
+    hSetBinaryMode stdout True
     ins <- getContents
     putStr (main' ins)