src/Provers/classical.ML
changeset 56334 6b3739fee456
parent 54742 7a86358a3c0b
child 57859 29e728588163
     1.1 --- a/src/Provers/classical.ML	Mon Mar 31 10:28:08 2014 +0200
     1.2 +++ b/src/Provers/classical.ML	Mon Mar 31 12:35:39 2014 +0200
     1.3 @@ -632,7 +632,7 @@
     1.4        Pretty.big_list "elimination rules (elim):" (pretty_thms hazEs),
     1.5        Pretty.strs ("safe wrappers:" :: map #1 swrappers),
     1.6        Pretty.strs ("unsafe wrappers:" :: map #1 uwrappers)]
     1.7 -    |> Pretty.chunks |> Pretty.writeln
     1.8 +    |> Pretty.writeln_chunks
     1.9    end;
    1.10  
    1.11