changeset 7150 | d203e2282789 |
parent 7122 | 87b233b31889 |
child 12123 | 739eba13e2cd |
--- 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 =