Normalize paths from cached modules

tjammer · Dec 20, 2023 · 2dad136 · 2dad136
1 parent b7a7681
commit 2dad136
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/lib/module.ml b/lib/module.ml
@@ -511,7 +511,8 @@ let object_names () =
     Hashtbl.fold
       (fun _ cached set ->
         match cached with
-        | Cached (Cfile (name, _), _, _) -> Sset.add (name ^ ".o") set
+        | Cached (Cfile (name, _), _, _) ->
+            Sset.add (normalize_path (name ^ ".o")) set
         | Cached (Clocal _, _, _) | Functor _ -> set
         | Located _ -> set)
       module_cache Sset.empty