Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/library.ML
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 =
isabelle