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.
actually pass "verbose" argument
authorhaftmann
Fri, 29 Oct 2010 11:35:28 +0200
changeset 40257 323f7aad54b0
parent 40253 f99ec71de82d
child 40258 2c0d8fe36c21
child 40266 d72f1f734e5a
actually pass "verbose" argument
src/Tools/Code/code_runtime.ML file | annotate | diff | comparison | revisions 
--- a/src/Tools/Code/code_runtime.ML	Fri Oct 29 11:07:21 2010 +0200
+++ b/src/Tools/Code/code_runtime.ML	Fri Oct 29 11:35:28 2010 +0200
@@ -64,7 +64,7 @@
 
 fun exec verbose code =
   (if ! trace then tracing code else ();
-  ML_Context.exec (fn () => Secure.use_text ML_Env.local_context (0, "generated code") false code));
+  ML_Context.exec (fn () => Secure.use_text ML_Env.local_context (0, "generated code") verbose code));
 
 fun value ctxt (get, put, put_ml) (prelude, value) =
   let
isabelle