--- 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