# HG changeset patch
# User wenzelm
# Date 880037312 -3600
# Node ID e20b9fd85811d13d762331bc3ec1098f8111ea60
# Parent  f6bdfbd0e1c381c80cc9a37f3664247cd76c7cb5
improved error msg;

diff -r f6bdfbd0e1c3 -r e20b9fd85811 src/Pure/sign.ML
--- a/src/Pure/sign.ML	Thu Nov 20 15:38:51 1997 +0100
+++ b/src/Pure/sign.ML	Thu Nov 20 15:48:32 1997 +0100
@@ -249,7 +249,7 @@
 
 (* errors *)
 
-fun of_theory sg = " of theory " ^ str_of_sg sg;
+fun of_theory sg = "\nof theory " ^ str_of_sg sg;
 
 fun err_method name kind =
   error ("Error while invoking " ^ quote kind ^ " method " ^ name);