src/Sequents/prover.ML

--- a/src/Sequents/prover.ML	Mon Aug 02 15:39:23 1999 +0200
+++ b/src/Sequents/prover.ML	Mon Aug 02 15:40:30 1999 +0200
@@ -28,8 +28,7 @@
 
 fun warn_duplicates [] = []
   | warn_duplicates dups =
-      (warning (String.concat ("Ignoring duplicate theorems:\n"::
-			       map (suffix "\n" o string_of_thm) dups));
+      (warning (cat_lines ("Ignoring duplicate theorems:" :: map string_of_thm dups));
        dups);
 
 fun (Pack(safes,unsafes)) add_safes ths   =