# HG changeset patch
# User wenzelm
# Date 1439321785 -7200
# Node ID e0fab97c989fd56fe3e987970726c9c0ff5e6dd5
# Parent  bca464396b80b84432a6fd424204eb2bf929e836
proper context (amending 7aad4be8a48e);

diff -r bca464396b80 -r e0fab97c989f src/Pure/Tools/debugger.ML
--- 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