src/Pure/Isar/runtime.ML

--- a/src/Pure/Isar/runtime.ML	Mon Jul 11 22:50:29 2011 +0200
+++ b/src/Pure/Isar/runtime.ML	Mon Jul 11 22:55:47 2011 +0200
@@ -101,7 +101,7 @@
 fun debugging f x =
   if ! debug then
     Exn.release (exception_trace (fn () =>
-      Exn.Result (f x) handle
+      Exn.Res (f x) handle
         exn as UNDEF => Exn.Exn exn
       | exn as EXCURSION_FAIL _ => Exn.Exn exn))
   else f x;