dont write to a file

diff --git a/Main.hs b/Main.hs
index 166802b51eb94a42305acd3068f775ddd432d712..56536cccb87c4bb3830b558fa22e883dd286ab3f 100644 (file)
--- a/Main.hs
+++ b/Main.hs
@@ -142,6 +142,7 @@ loop flags f names tenv = do
 
                 -- Let's not crash if the evaluation raises an error:
                 liftIO $ catch (putStrLn (msg ++ shrink (show e)))
+                               -- (writeFile "examples/nunivalence3.ctt" (show e))
                                (\e -> putStrLn ("Exception: " ++
                                                 show (e :: SomeException)))
                 stop <- liftIO getCurrentTime