cat_lines;
authorwenzelm
Mon Aug 02 15:40:30 1999 +0200 (1999-08-02)
changeset 7150d203e2282789
parent 7149 d0c2168f7704
child 7151 de17299bf095
cat_lines;
src/Sequents/prover.ML
     1.1 --- a/src/Sequents/prover.ML	Mon Aug 02 15:39:23 1999 +0200
     1.2 +++ b/src/Sequents/prover.ML	Mon Aug 02 15:40:30 1999 +0200
     1.3 @@ -28,8 +28,7 @@
     1.4  
     1.5  fun warn_duplicates [] = []
     1.6    | warn_duplicates dups =
     1.7 -      (warning (String.concat ("Ignoring duplicate theorems:\n"::
     1.8 -			       map (suffix "\n" o string_of_thm) dups));
     1.9 +      (warning (cat_lines ("Ignoring duplicate theorems:" :: map string_of_thm dups));
    1.10         dups);
    1.11  
    1.12  fun (Pack(safes,unsafes)) add_safes ths   =