src/Pure/Tools/debugger.ML

--- a/src/Pure/Tools/debugger.ML	Tue Apr 05 18:18:36 2016 +0200
+++ b/src/Pure/Tools/debugger.ML	Tue Apr 05 18:20:25 2016 +0200
@@ -143,7 +143,7 @@
 
 fun evaluate {SML, verbose} =
   ML_Context.eval
-    {SML = SML, exchange = false, redirect = false, verbose = verbose,
+    {SML_syntax = SML, SML_env = SML, exchange = false, redirect = false, verbose = verbose,
       debug = SOME false, writeln = writeln_message, warning = warning_message}
     Position.none;