Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Tools/debugger.scala
changeset 60912 3852e87e9b88
parent 60910 79abcf48c377
child 60932 13ee73f57c85 
--- 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 =
isabelle