# HG changeset patch
# User wenzelm
# Date 1439338806 -7200
# Node ID 3852e87e9b8801216c0523b15db2ff30523121f5
# Parent  858694df711bf340811207afe8d374077497e68e
clarified;

diff -r 858694df711b -r 3852e87e9b88 src/Pure/Tools/debugger.scala
--- a/src/Pure/Tools/debugger.scala	Wed Aug 12 01:39:31 2015 +0200
+++ b/src/Pure/Tools/debugger.scala	Wed Aug 12 02:20:06 2015 +0200
@@ -157,7 +157,7 @@
   def active_breakpoint_state(breakpoint: Long): Option[Boolean] =
   {
     val state = global_state.value
-    if (state.active > 0) Some(state.active_breakpoints(breakpoint)) else None
+    if (state.is_active) Some(state.active_breakpoints(breakpoint)) else None
   }
 
   def breakpoint_state(breakpoint: Long): Boolean =