src/Tools/Metis/src/Clause.sml

--- a/src/Tools/Metis/src/Clause.sml	Wed Sep 15 14:24:29 2010 +0200
+++ b/src/Tools/Metis/src/Clause.sml	Wed Sep 15 15:15:49 2010 +0200
@@ -16,7 +16,9 @@
     let
       val r = ref 0
     in
-      fn () => case r of ref n => let val () = r := n + 1 in n end
+      (* MODIFIED by Jasmin Blanchette *)
+      fn () => CRITICAL (fn () =>
+        case r of ref n => let val () = r := n + 1 in n end)
     end;
 
 (* ------------------------------------------------------------------------- *)