# HG changeset patch
# User haftmann
# Date 1195651103 -3600
# Node ID 7bd190cac91e0512a7287757a24fa8922ab9e5a4
# Parent  c3b26e533b21c2f4fc066a86c1399e97c2733eaa
fixed

diff -r c3b26e533b21 -r 7bd190cac91e lib/Tools/codegen
--- a/lib/Tools/codegen	Wed Nov 21 13:42:31 2007 +0100
+++ b/lib/Tools/codegen	Wed Nov 21 14:18:23 2007 +0100
@@ -35,6 +35,6 @@
 ## main
 
 SERI=$(echo $SERI | sed -e 's/\\/\\\\"/g; s/"/\\\"/g')
-CMD="Isar.toplevel (fn _ => (use_thy \"$THY\"; CodePackage.codegen_command (theory \"$THY\") \"$SERI\"))"
+CMD="Isar.toplevel (fn _ => (use_thy \"$THY\"; CodePackage.codegen_command (theory \"$THY\") \"$SERI\"));"
 
 "$ISABELLE" -q -e "$CMD" "$IMAGE"