--- a/src/HOL/ex/SAT_Examples.thy Sat Nov 18 00:20:33 2006 +0100
+++ b/src/HOL/ex/SAT_Examples.thy Sun Nov 19 13:02:55 2006 +0100
@@ -85,7 +85,7 @@
method_setup rawsat = {* Method.no_args (Method.SIMPLE_METHOD (sat.rawsat_tac 1)) *}
"SAT solver (no preprocessing)"
-ML {* Toplevel.profiling := 1; *}
+(* ML {* Toplevel.profiling := 1; *} *)
(* Translated from TPTP problem library: PUZ015-2.006.dimacs *)
@@ -526,6 +526,6 @@
(as of 2006-08-30, on a 2.5 GHz Pentium 4)
*)
-ML {* Toplevel.profiling := 0; *}
+(* ML {* Toplevel.profiling := 0; *} *)
end