src/Pure/sign.ML
changeset 4892 0f80e924009d
parent 4844 4fb63c77f2df
child 4908 7a155899ef9c
     1.1 --- a/src/Pure/sign.ML	Mon May 04 13:48:47 1998 +0200
     1.2 +++ b/src/Pure/sign.ML	Mon May 04 21:05:14 1998 +0200
     1.3 @@ -264,7 +264,7 @@
     1.4  fun of_theory sg = "\nof theory " ^ str_of_sg sg;
     1.5  
     1.6  fun err_method name kind =
     1.7 -  error ("Error while invoking " ^ quote kind ^ " method " ^ name);
     1.8 +  error ("Error while invoking " ^ quote kind ^ " " ^ name ^ " method");
     1.9  
    1.10  fun err_dup_init sg kind =
    1.11    error ("Duplicate initialization of " ^ quote kind ^ " data" ^ of_theory sg);