src/Pure/Thy/thy_load.ML

--- a/src/Pure/Thy/thy_load.ML	Thu Jul 22 22:58:18 2010 +0200
+++ b/src/Pure/Thy/thy_load.ML	Thu Jul 22 23:29:39 2010 +0200
@@ -101,7 +101,7 @@
 fun check_file dir file =
   try_file dir file handle NOT_FOUND (prfxs, path) =>
     error ("Could not find file " ^ quote (Path.implode path) ^
-      " in " ^ commas_quote (map Path.implode prfxs));
+      "\nin " ^ commas_quote (map Path.implode prfxs));
 
 fun check_thy dir name = check_file dir (thy_path name);