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