--- a/src/Tools/quickcheck.ML Fri May 27 10:30:08 2011 +0200
+++ b/src/Tools/quickcheck.ML Fri May 27 10:30:08 2011 +0200
@@ -530,7 +530,7 @@
(false, state)
end
-val setup = Auto_Tools.register_tool (auto, auto_quickcheck)
+val setup = Try.register_tool (auto, auto_quickcheck)
(* Isar commands *)