src/Pure/sign.ML
changeset 4261 e20b9fd85811
parent 4256 e768c42069bb
child 4344 e000b5db4087
     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);