# HG changeset patch
# User haftmann
# Date 1275393132 -7200
# Node ID a53f296f86d3bf882f03b250e3d18c3fb1af53b4
# Parent  6e2ac5358d6e8ed0df2c23c55cd992bd6db601d6
adapted to changes

diff -r 6e2ac5358d6e -r a53f296f86d3 src/Tools/Code/lib/Tools/codegen
--- a/src/Tools/Code/lib/Tools/codegen	Tue Jun 01 13:52:11 2010 +0200
+++ b/src/Tools/Code/lib/Tools/codegen	Tue Jun 01 13:52:12 2010 +0200
@@ -58,7 +58,7 @@
   QND_CMD="reset"
 fi
 
-CTXT_CMD="ML_Context.eval_in (SOME (ProofContext.init_global (theory \"HOL\"))) false Position.none \"Code_Target.shell_command thyname cmd\";"
+CTXT_CMD="ML_Context.eval_text_in (SOME (ProofContext.init_global (theory \"HOL\"))) false Position.none \"Code_Target.shell_command thyname cmd\";"
 
 FULL_CMD="Unsynchronized.$QND_CMD quick_and_dirty; val thyname = \"$THY\"; val cmd = \"$CODE_CMD\"; $CTXT_CMD"