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.
tuned;
authorwenzelm
Thu, 03 Nov 2022 20:33:59 +0100
changeset 76416 22746dfa75a1
parent 76415 f362975e8ba1
child 76417 e937d14b58e2
tuned;
src/Pure/PIDE/command.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/PIDE/command.ML	Thu Nov 03 20:10:35 2022 +0100
+++ b/src/Pure/PIDE/command.ML	Thu Nov 03 20:33:59 2022 +0100
@@ -406,9 +406,10 @@
 
 fun print_function name f =
   Synchronized.change print_functions (fn funs =>
-   (if name = "" then error "Unnamed print function" else ();
-    if not (AList.defined (op =) funs name) then ()
-    else warning ("Redefining command print function: " ^ quote name);
+   (if name = "" then error "Unnamed print function"
+    else if AList.defined (op =) funs name then
+      warning ("Redefining command print function: " ^ quote name)
+    else ();
     AList.update (op =) (name, f) funs));
 
 fun no_print_function name =
isabelle