Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fixed a bug in infer_types/exn_type_msg
authorclasohm
Fri, 03 Mar 1995 12:34:57 +0100
changeset 926 9d1348498c36
parent 925 15539deb6863
child 927 305e7cfda869
fixed a bug in infer_types/exn_type_msg
src/Pure/sign.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/sign.ML	Fri Mar 03 12:04:45 1995 +0100
+++ b/src/Pure/sign.ML	Fri Mar 03 12:34:57 1995 +0100
@@ -264,7 +264,7 @@
           "\nInvolving these terms:\n" ^ cat_lines (map show_term ts);
 
     fun exn_type_msg (msg, Ts, ts) =
-	msg ^ "\nType checking error: " ^ msg ^ "\n" ^
+	"\nType checking error: " ^ msg ^ "\n" ^
 	cat_lines (map show_typ Ts) ^ term_err ts ^ "\n";
 
     val T' = certify_typ sg T
isabelle