improved error msg;
authorwenzelm
Thu Nov 20 15:48:32 1997 +0100 (1997-11-20)
changeset 4261e20b9fd85811
parent 4260 f6bdfbd0e1c3
child 4262 e4113a682883
improved error msg;
src/Pure/sign.ML
     1.1 --- a/src/Pure/sign.ML	Thu Nov 20 15:38:51 1997 +0100
     1.2 +++ b/src/Pure/sign.ML	Thu Nov 20 15:48:32 1997 +0100
     1.3 @@ -249,7 +249,7 @@
     1.4  
     1.5  (* errors *)
     1.6  
     1.7 -fun of_theory sg = " of theory " ^ str_of_sg sg;
     1.8 +fun of_theory sg = "\nof theory " ^ str_of_sg sg;
     1.9  
    1.10  fun err_method name kind =
    1.11    error ("Error while invoking " ^ quote kind ^ " method " ^ name);