# HG changeset patch
# User wenzelm
# Date 1439311349 -7200
# Node ID 625f2c8307da6f890b8a1acd14369ec641b63f87
# Parent  501be4aa75b4af799aac20767233da430e2b5371
clarified output;

diff -r 501be4aa75b4 -r 625f2c8307da src/Pure/Tools/debugger.scala
--- a/src/Pure/Tools/debugger.scala	Tue Aug 11 18:00:28 2015 +0200
+++ b/src/Pure/Tools/debugger.scala	Tue Aug 11 18:42:29 2015 +0200
@@ -187,9 +187,12 @@
   def step_out(thread_name: String): Unit = input(thread_name, "step_out")
   def continue(thread_name: String): Unit = input(thread_name, "continue")
 
-  def eval(thread_name: String, index: Int, SML: Boolean, context: String, expression: String): Unit =
+  def eval(thread_name: String, index: Int, SML: Boolean, context: String, expression: String)
   {
-    input(thread_name, "eval",
-      index.toString, SML.toString, Symbol.encode(context), Symbol.encode(expression))
+    global_state.change(state => {
+      input(thread_name, "eval",
+        index.toString, SML.toString, Symbol.encode(context), Symbol.encode(expression))
+      state.clear_output(thread_name)
+    })
   }
 }