src/Pure/Thy/thy_info.ML

           val dir' = Path.append dir (Path.dir path);
           val _ = member (op =) initiators name andalso error (cycle_msg initiators);
 
           val (current, deps, theory_pos, imports, keywords) = check_deps dir' name
             handle ERROR msg => cat_error msg
-              (loader_msg "the error(s) above occurred while examining theory" [name] ^
+              (loader_msg "the error(s) above occurred for theory" [name] ^
                 Position.here require_pos ^ required_by "\n" initiators);
 
           val parents = map (base_name o #1) imports;
           val (parents_current, tasks') =
             require_thys document last_timing (name :: initiators)