fixed error msg;
authorwenzelm
Wed Dec 22 20:29:36 1999 +0100 (1999-12-22)
changeset 8078c6da7585f9d1
parent 8077 5c7b133fd26f
child 8079 ccfc64f29333
fixed error msg;
src/Pure/Isar/outer_syntax.ML
     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