# HG changeset patch
# User webertj
# Date 1163937775 -3600
# Node ID 25ed0a4c7dc52da06a15fd158e2b3221580a01f8
# Parent  3436c269dd2336c465b382c4afeee855ab1f5225
profiling disabled

diff -r 3436c269dd23 -r 25ed0a4c7dc5 src/HOL/ex/SAT_Examples.thy
--- 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