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.
with_modes: always CRITICAL;
authorwenzelm
Sun, 16 Sep 2007 15:27:26 +0200
changeset 24603 425d6445cba6
parent 24602 b273d529b80b
child 24604 d5c5d2e13fbf
with_modes: always CRITICAL;
src/Pure/General/print_mode.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/print_mode.ML	Sun Sep 16 14:59:10 2007 +0200
+++ b/src/Pure/General/print_mode.ML	Sun Sep 16 15:27:26 2007 +0200
@@ -25,9 +25,8 @@
 val print_mode = ref ([]: string list);
 fun print_mode_active s = member (op =) (! print_mode) s;
 
-fun with_modes [] f x = f x
-  | with_modes modes f x = NAMED_CRITICAL "print_mode" (fn () =>
-      setmp print_mode (modes @ ! print_mode) f x);
+fun with_modes modes f x = NAMED_CRITICAL "print_mode" (fn () =>
+  setmp print_mode (modes @ ! print_mode) f x);
 
 fun with_default f x = NAMED_CRITICAL "print_mode" (fn () =>
   setmp print_mode [] f x);
isabelle