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