src/Pure/Isar/method.ML
changeset 21962 279b129498b6
parent 21879 a3efbae45735
child 22086 cf6019fece63
     1.1 --- a/src/Pure/Isar/method.ML	Sat Dec 30 12:41:59 2006 +0100
     1.2 +++ b/src/Pure/Isar/method.ML	Sat Dec 30 16:08:00 2006 +0100
     1.3 @@ -246,9 +246,10 @@
     1.4  val trace_rules = ref false;
     1.5  
     1.6  fun trace ctxt rules =
     1.7 -  conditional (! trace_rules andalso not (null rules)) (fn () =>
     1.8 +  if ! trace_rules andalso not (null rules) then
     1.9      Pretty.big_list "rules:" (map (ProofContext.pretty_thm ctxt) rules)
    1.10 -    |> Pretty.string_of |> tracing);
    1.11 +    |> Pretty.string_of |> tracing
    1.12 +  else ();
    1.13  
    1.14  local
    1.15