src/Pure/Tools/debugger.ML
changeset 60904 e0fab97c989f
parent 60897 7aad4be8a48e
child 60924 610794dff23c
--- a/src/Pure/Tools/debugger.ML	Tue Aug 11 21:24:11 2015 +0200
+++ b/src/Pure/Tools/debugger.ML	Tue Aug 11 21:36:25 2015 +0200
@@ -165,7 +165,7 @@
   let
     val (toks1, toks2) = apply2 (ML_Lex.read_source SML o Input.string) (txt1, txt2);
     val context = eval_context thread_name index SML toks1;
-  in Context.setmp_thread_data (SOME context) evaluate {SML = SML, verbose = true} toks2 end;
+  in Context.setmp_thread_data (SOME context) (evaluate {SML = SML, verbose = true}) toks2 end;
 
 fun print_vals thread_name index SML txt =
   let