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.
repaired tool invocation
authorhaftmann
Fri, 23 Jul 2010 09:05:54 +0200
changeset 37945 32f9b7a70fc0
parent 37936 1e4c5015a72e
child 37946 be3c0df7bb90
repaired tool invocation
src/Tools/Code/lib/Tools/codegen file | annotate | diff | comparison | revisions 
--- a/src/Tools/Code/lib/Tools/codegen	Thu Jul 22 18:08:39 2010 +0200
+++ b/src/Tools/Code/lib/Tools/codegen	Fri Jul 23 09:05:54 2010 +0200
@@ -58,7 +58,7 @@
   QND_CMD="reset"
 fi
 
-CTXT_CMD="ML_Context.eval_text_in (SOME (ProofContext.init_global (theory \"HOL\"))) false Position.none \"Code_Target.shell_command thyname cmd\";"
+CTXT_CMD="ML_Context.eval_text_in (SOME (ProofContext.init_global (Thy_Info.get_theory \"HOL\"))) false Position.none \"Code_Target.shell_command thyname cmd\";"
 
 FULL_CMD="Unsynchronized.$QND_CMD quick_and_dirty; val thyname = \"$THY\"; val cmd = \"$CODE_CMD\"; $CTXT_CMD"
isabelle