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.
merged
authorhaftmann
Fri, 24 Sep 2010 11:56:24 +0200
changeset 39675 b4cbc72a354c
parent 39673 fabd6b48fe6e (current diff)
parent 39674 dacf4bad3954 (diff)
child 39676 810f98bd4eea
merged
--- a/src/Tools/Code/lib/Tools/codegen	Fri Sep 24 11:36:28 2010 +0200
+++ b/src/Tools/Code/lib/Tools/codegen	Fri Sep 24 11:56:24 2010 +0200
@@ -50,7 +50,7 @@
 
 ## invoke code generation
 
-FORMAL_CMD="Toplevel.program (fn () => ML_Context.eval_text_in \
+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;"
isabelle