src/Tools/quickcheck.ML

--- a/src/Tools/quickcheck.ML	Mon Jul 11 22:50:29 2011 +0200
+++ b/src/Tools/quickcheck.ML	Mon Jul 11 22:55:47 2011 +0200
@@ -237,9 +237,9 @@
     if Config.get ctxt quiet then
       try tester v
     else
-      let
+      let (* FIXME !?!? *)
         val tester = Exn.interruptible_capture tester v
-      in case Exn.get_result tester of
+      in case Exn.get_res tester of
           NONE => SOME (Exn.release tester)
         | SOME tester => SOME tester
       end