--- a/src/HOL/Tools/Quickcheck/narrowing_generators.ML Sun Mar 13 13:57:20 2011 +0100
+++ b/src/HOL/Tools/Quickcheck/narrowing_generators.ML Sun Mar 13 14:51:38 2011 +0100
@@ -43,7 +43,7 @@
val _ = File.write narrowing_engine_file narrowing_engine
val _ = File.write main_file main
val executable = Path.implode (Path.append in_path (Path.basic "isa_lsc"))
- val cmd = getenv "EXEC_GHC" ^ " -fglasgow-exts " ^
+ val cmd = "\"$EXEC_GHC\" -fglasgow-exts " ^
(space_implode " " (map Path.implode [code_file, narrowing_engine_file, main_file])) ^
" -o " ^ executable ^ " && " ^ executable
in