src/Pure/Isar/outer_syntax.ML

     val ml_path = ThyLoad.ml_path name;
     val ml_file = if ml andalso is_some (ThyLoad.check_file ml_path) then [ml_path] else [];
   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;
 
 end;