Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
corrected scope of closure
authorhaftmann
Mon, 27 Sep 2010 09:36:18 +0200
changeset 39714 56c98c820a90
parent 39713 d3f46f1ca1f1
child 39715 9094200d7988
corrected scope of closure
src/Tools/Code/lib/Tools/codegen file | annotate | diff | comparison | revisions 
--- a/src/Tools/Code/lib/Tools/codegen	Mon Sep 27 08:47:23 2010 +0200
+++ b/src/Tools/Code/lib/Tools/codegen	Mon Sep 27 09:36:18 2010 +0200
@@ -50,8 +50,8 @@
 
 ## invoke code generation
 
-FORMAL_CMD="Toplevel.program (fn () => use_thy thyname; ML_Context.eval_text_in \
-  (SOME (ProofContext.init_global (Thy_Info.get_theory thyname))) false Position.none ml_cmd) \
+FORMAL_CMD="Toplevel.program (fn () => (use_thy thyname; ML_Context.eval_text_in \
+  (SOME (ProofContext.init_global (Thy_Info.get_theory thyname))) false Position.none ml_cmd)) \
   handle _ => OS.Process.exit OS.Process.failure;"
 
 ACTUAL_CMD="val thyname = \"$THYNAME\"; \
isabelle