# HG changeset patch
# User wenzelm
# Date 1279834179 -7200
# Node ID 3cbd7fa164b19e9fff5fa5f7ea611f16d57d8b89
# Parent  050ca02c6dfcdeb27cd18f8ffbc42179e19bc9db
tuned message;

diff -r 050ca02c6dfc -r 3cbd7fa164b1 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);