actually pass "verbose" argument
authorhaftmann
Fri Oct 29 11:35:28 2010 +0200 (2010-10-29)
changeset 40257323f7aad54b0
parent 40253 f99ec71de82d
child 40258 2c0d8fe36c21
child 40266 d72f1f734e5a
actually pass "verbose" argument
src/Tools/Code/code_runtime.ML
     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