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.
tuned error msg;
authorwenzelm
Mon, 03 Nov 1997 11:46:42 +0100
changeset 4074 3a2aa65288df
parent 4073 d16ff2cc1089
child 4075 8a467dc6e667
tuned error msg;
src/Pure/data.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/data.ML	Mon Nov 03 11:46:25 1997 +0100
+++ b/src/Pure/data.ML	Mon Nov 03 11:46:42 1997 +0100
@@ -41,7 +41,7 @@
 (* errors *)
 
 fun err_method name kind =
-  error ("Error while invoking " ^ name ^ " method of " ^ quote kind ^ " data");
+  error ("Error while invoking " ^ quote kind ^ " " ^ name ^ " method");
 
 fun err_dup_init kind =
   error ("Duplicate initialization of " ^ quote kind ^ " data");
isabelle