diff -r 953fc4983439 -r 3af985b10550 src/Tools/Code/code_eval.ML
--- a/src/Tools/Code/code_eval.ML	Sun May 30 18:23:50 2010 +0200
+++ b/src/Tools/Code/code_eval.ML	Sun May 30 21:34:19 2010 +0200
@@ -165,7 +165,8 @@
       in
         thy
         |> Code_Target.add_reserved target module_name
-        |> Context.theory_map (ML_Context.exec (fn () => ML_Context.eval true Position.none code_body))
+        |> Context.theory_map
+          (ML_Context.exec (fn () => ML_Context.eval_text true Position.none code_body))
         |> fold (add_eval_tyco o apsnd pr) tyco_map
         |> fold (add_eval_constr o apsnd pr) constr_map
         |> fold (add_eval_const o apsnd pr) const_map