diff -r 4a6c9881adc0 -r 6b0e3e4e1891 lib/Tools/codegen
--- a/lib/Tools/codegen	Sat Oct 04 16:05:15 2008 +0200
+++ b/lib/Tools/codegen	Sat Oct 04 16:19:00 2008 +0200
@@ -37,4 +37,4 @@
 CMD=$(echo $CMD | sed -e 's/\\/\\\\"/g; s/"/\\\"/g')
 FULL_CMD="Code_Target.shell_command \"$THY\" \"$CMD\";"
 
-"$ISABELLE" -q -e "$FULL_CMD" "$IMAGE" || exit 1
+"$ISABELLE_PROCESS" -q -e "$FULL_CMD" "$IMAGE" || exit 1