src/Pure/Isar/outer_syntax.ML
changeset 8078 c6da7585f9d1
parent 7940 def6db239934
child 8191 6483e7132a70
     1.1 --- a/src/Pure/Isar/outer_syntax.ML	Wed Dec 22 20:29:19 1999 +0100
     1.2 +++ b/src/Pure/Isar/outer_syntax.ML	Wed Dec 22 20:29:36 1999 +0100
     1.3 @@ -329,7 +329,7 @@
     1.4    in
     1.5      if name <> name' then
     1.6        error ("Filename " ^ quote (Path.pack path) ^
     1.7 -        " does not agree with theory name " ^ quote name)
     1.8 +        " does not agree with theory name " ^ quote name')
     1.9      else (parents, map (Path.unpack o #1) files @ ml_file)
    1.10    end;
    1.11