changeset 57831 | 885888a880fb |
parent 56038 | 0e2dec666152 |
child 57884 | 36b5691b81a5 |
--- a/src/Pure/library.ML Wed Jul 30 09:40:28 2014 +0200 +++ b/src/Pure/library.ML Thu Jul 31 20:09:30 2014 +0200 @@ -266,6 +266,7 @@ fun error msg = raise ERROR msg; fun cat_error "" msg = error msg + | cat_error msg "" = error msg | cat_error msg1 msg2 = error (msg1 ^ "\n" ^ msg2); fun assert_all pred list msg =