Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clarified;
authorwenzelm
Wed, 12 Aug 2015 02:20:06 +0200
changeset 60912 3852e87e9b88
parent 60911 858694df711b
child 60913 7432d6bb4195
clarified;
src/Pure/Tools/debugger.scala file | annotate | diff | comparison | revisions 
--- 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