src/Tools/Code/code_runtime.ML
changeset 40257 323f7aad54b0
parent 40235 87998864284e
child 40320 abc52faa7761
     1.1 --- a/src/Tools/Code/code_runtime.ML	Fri Oct 29 11:07:21 2010 +0200
     1.2 +++ b/src/Tools/Code/code_runtime.ML	Fri Oct 29 11:35:28 2010 +0200
     1.3 @@ -64,7 +64,7 @@
     1.4  
     1.5  fun exec verbose code =
     1.6    (if ! trace then tracing code else ();
     1.7 -  ML_Context.exec (fn () => Secure.use_text ML_Env.local_context (0, "generated code") false code));
     1.8 +  ML_Context.exec (fn () => Secure.use_text ML_Env.local_context (0, "generated code") verbose code));
     1.9  
    1.10  fun value ctxt (get, put, put_ml) (prelude, value) =
    1.11    let