--- a/src/Pure/General/susp.ML Sun Jul 29 16:00:06 2007 +0200
+++ b/src/Pure/General/susp.ML Sun Jul 29 17:28:55 2007 +0200
@@ -28,7 +28,7 @@
fun delay f = ref (Delay f);
-fun force susp = CRITICAL (fn () =>
+fun force susp = NAMED_CRITICAL "susp" (fn () =>
(case ! susp of
Value v => v
| Delay f =>