···808808 let b = Sys.file_exists (prefix ^ ".cmi") in
809809 Logs.info (fun m -> m "file_exists: %s = %b\n%!" (prefix ^ ".cmi") b));
810810 (* reset_dirs () *) ()
811811- with exn ->
811811+ with
812812+ | Env.Error e ->
813813+ Logs.err (fun m -> m "Env.Error: %a" Env.report_error e);
814814+ ()
815815+ | exn ->
812816 let s = Printexc.to_string exn in
813817 Logs.err (fun m -> m "Error in add_cmi: %s" s);
814818 Logs.err (fun m -> m "Backtrace: %s" (Printexc.get_backtrace ()));