--- a/src/Pure/PIDE/resources.ML Mon Mar 16 15:33:32 2015 +0100
+++ b/src/Pure/PIDE/resources.ML Mon Mar 16 16:26:02 2015 +0100
@@ -68,7 +68,8 @@
val {name = (name, pos), imports, keywords} =
Thy_Header.read (Path.position master_file) text;
val _ = thy_name <> name andalso
- error ("Bad file name " ^ Path.print path ^ " for theory " ^ quote name ^ Position.here pos);
+ error ("Bad theory name " ^ quote name ^
+ " for file " ^ Path.print path ^ Position.here pos);
in
{master = (master_file, SHA1.digest text), text = text, theory_pos = pos,
imports = imports, keywords = keywords}