# HG changeset patch
# User wenzelm
# Date 1283529828 -7200
# Node ID 01214c68f8bccea14fa8d52eb74bb22a6a178a5d
# Parent  91d2a9844d574f89b9f01357860916e25fff1193# Parent  dd043196150758e1ee53cd6c7153e2cf1c246086
merged

diff -r dd0431961507 -r 01214c68f8bc src/Tools/Code/lib/Tools/codegen
--- a/src/Tools/Code/lib/Tools/codegen	Fri Sep 03 17:57:12 2010 +0200
+++ b/src/Tools/Code/lib/Tools/codegen	Fri Sep 03 18:03:48 2010 +0200
@@ -60,6 +60,6 @@
 
 CTXT_CMD="ML_Context.eval_text_in (SOME (ProofContext.init_global (Thy_Info.get_theory \"HOL\"))) false Position.none \"Code_Target.shell_command thyname cmd\";"
 
-FULL_CMD="quick_and_dirty := QND_FLAG; val thyname = \"$THY\"; val cmd = \"$CODE_CMD\"; $CTXT_CMD"
+FULL_CMD="quick_and_dirty := $QND_FLAG; val thyname = \"$THY\"; val cmd = \"$CODE_CMD\"; $CTXT_CMD"
 
 "$ISABELLE_PROCESS" -q -e "$FULL_CMD" "$IMAGE" || exit 1