src/HOL/Tools/Quickcheck/narrowing_generators.ML
changeset 46335 0fd9ab902b5a
parent 46316 1c9a548c0402
child 46587 d3bcc356cc60
--- a/src/HOL/Tools/Quickcheck/narrowing_generators.ML	Thu Jan 26 09:52:47 2012 +0100
+++ b/src/HOL/Tools/Quickcheck/narrowing_generators.ML	Thu Jan 26 10:59:47 2012 +0100
@@ -239,7 +239,8 @@
         val narrowing_engine_file = Path.append in_path (Path.basic "Narrowing_Engine.hs")
         val main_file = Path.append in_path (Path.basic "Main.hs")
         val main = "module Main where {\n\n" ^
-          "import System;\n" ^
+          "import System.IO;\n" ^
+          "import System.Environment;\n" ^
           "import Narrowing_Engine;\n" ^
           "import Generated_Code;\n\n" ^
           "main = getArgs >>= \\[potential, size] -> " ^