src/Pure/Tools/codegen_func.ML

--- a/src/Pure/Tools/codegen_func.ML	Thu May 10 04:06:56 2007 +0200
+++ b/src/Pure/Tools/codegen_func.ML	Thu May 10 10:21:44 2007 +0200
@@ -103,7 +103,7 @@
       | check n (t1 $ t2) = (check (n+1) t1; check 0 t2)
       | check n (Const (_, ty)) = if n <> (length o fst o strip_type) ty
           then bad_thm
-            ("Partially applied constant on left hand side of equation"
+            ("Partially applied constant on left hand side of equation\n"
                ^ Display.string_of_thm thm)
           else ();
     val _ = map (check 0) args;