# HG changeset patch
# User haftmann
# Date 1262687931 -3600
# Node ID 70af06abb13d0334567180203c439c0e9d3b557e
# Parent  e45104d2d17567aa8057f27337eeda4d8fc4ed12
repaired legacy setting variable

diff -r e45104d2d175 -r 70af06abb13d src/Tools/Code/lib/Tools/codegen
--- a/src/Tools/Code/lib/Tools/codegen	Tue Jan 05 11:25:14 2010 +0100
+++ b/src/Tools/Code/lib/Tools/codegen	Tue Jan 05 11:38:51 2010 +0100
@@ -62,4 +62,4 @@
 
 FULL_CMD="Unsynchronized.$QND_CMD quick_and_dirty; val thyname = \"$THY\"; val cmd = \"$CODE_CMD\"; $CTXT_CMD"
 
-"$ISABELLE" -q -e "$FULL_CMD" "$IMAGE" || exit 1
+"$ISABELLE_PROCESS" -q -e "$FULL_CMD" "$IMAGE" || exit 1