# HG changeset patch
# User wenzelm
# Date 878554002 -3600
# Node ID 3a2aa65288df461b55e99cd33a6d066416fc3842
# Parent  d16ff2cc1089727de16c2e50d18ddb0904fc7b66
tuned error msg;

diff -r d16ff2cc1089 -r 3a2aa65288df src/Pure/data.ML
--- 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");