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.
proper indentation;
authorwenzelm
Fri, 22 Apr 2022 16:47:13 +0200
changeset 75446 691ed9f41729
parent 75445 df9d869cd5fd
child 75447 d1417d9c6deb
proper indentation;
src/Pure/Tools/debugger.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/debugger.scala	Fri Apr 22 10:31:38 2022 +0200
+++ b/src/Pure/Tools/debugger.scala	Fri Apr 22 16:47:13 2022 +0200
@@ -65,7 +65,7 @@
     def toggle_breakpoint(breakpoint: Long): (Boolean, State) = {
       val active_breakpoints1 =
         if (active_breakpoints(breakpoint)) active_breakpoints - breakpoint
-      else active_breakpoints + breakpoint
+        else active_breakpoints + breakpoint
       (active_breakpoints1(breakpoint), copy(active_breakpoints = active_breakpoints1))
     }
isabelle