--- a/src/Tools/Code/lib/Tools/codegen Tue Sep 28 08:35:00 2010 +0200
+++ b/src/Tools/Code/lib/Tools/codegen Tue Sep 28 09:14:37 2010 +0200
@@ -55,9 +55,9 @@
handle _ => OS.Process.exit OS.Process.failure;"
ACTUAL_CMD="val thyname = \"$THYNAME\"; \
- val qnd = $QUICK_AND_DIRTY; \
+ val _ = quick_and_dirty := $QUICK_AND_DIRTY; \
val cmd_expr = \"$CODE_EXPR\"; \
- val ml_cmd = \"Code_Target.codegen_tool thyname qnd cmd_expr\"; \
+ val ml_cmd = \"Code_Target.codegen_tool thyname cmd_expr\"; \
$FORMAL_CMD"
"$ISABELLE_PROCESS" -r -q -e "$ACTUAL_CMD" "$IMAGE" || exit 1