src/Provers/classical.ML

--- a/src/Provers/classical.ML	Mon Mar 31 10:28:08 2014 +0200
+++ b/src/Provers/classical.ML	Mon Mar 31 12:35:39 2014 +0200
@@ -632,7 +632,7 @@
       Pretty.big_list "elimination rules (elim):" (pretty_thms hazEs),
       Pretty.strs ("safe wrappers:" :: map #1 swrappers),
       Pretty.strs ("unsafe wrappers:" :: map #1 uwrappers)]
-    |> Pretty.chunks |> Pretty.writeln
+    |> Pretty.writeln_chunks
   end;