src/Tools/Code/code_runtime.ML
changeset 55684 ee49b4f7edc8
parent 55683 5732a55b9232
child 55757 9fc71814b8c1
--- a/src/Tools/Code/code_runtime.ML	Sun Feb 23 10:33:43 2014 +0100
+++ b/src/Tools/Code/code_runtime.ML	Sun Feb 23 10:33:43 2014 +0100
@@ -89,7 +89,7 @@
   in ((Sign.no_frees ctxt o Sign.no_vars ctxt o map_types (K dummyT)) t; t) end;
 
 fun obtain_evaluator thy some_target program consts expr =
-  Code_Target.evaluator thy (the_default target some_target) program consts expr
+  Code_Target.evaluator thy (the_default target some_target) program consts false expr
   |> apfst (fn ml_modules => space_implode "\n\n" (map snd ml_modules));
 
 fun obtain_evaluator' thy some_target program =