# HG changeset patch
# User wenzelm
# Date 945890976 -3600
# Node ID c6da7585f9d1f55478bbc06a9efb84a78e594e5b
# Parent  5c7b133fd26ff16bd25b408072f6564f49b53cc4
fixed error msg;

diff -r 5c7b133fd26f -r c6da7585f9d1 src/Pure/Isar/outer_syntax.ML
--- a/src/Pure/Isar/outer_syntax.ML	Wed Dec 22 20:29:19 1999 +0100
+++ b/src/Pure/Isar/outer_syntax.ML	Wed Dec 22 20:29:36 1999 +0100
@@ -329,7 +329,7 @@
   in
     if name <> name' then
       error ("Filename " ^ quote (Path.pack path) ^
-        " does not agree with theory name " ^ quote name)
+        " does not agree with theory name " ^ quote name')
     else (parents, map (Path.unpack o #1) files @ ml_file)
   end;