Fix (?): allow old_public_name that already exists as a local lib name

Signed-off-by: Nicolás Ojeda Bär <[email protected]>
ocaml · Oct 5, 2019 · f55e87e · f55e87e
1 parent a40c785
commit f55e87e
Showing 1 changed file with 1 addition and 5 deletions.
diff --git a/src/dune/lib.ml b/src/dune/lib.ml
@@ -1604,11 +1604,7 @@ module DB = struct
     let map =
       List.concat_map stanzas ~f:(fun stanza ->
           match (stanza : Library_related_stanza.t) with
-          | External_variant _ -> []
-          | Deprecated_library_name x ->
-            [ ( Dune_file.Old_public_lib.name x.old_public_name
-              , Redirect (None, x.new_public_name) )
-            ]
+          | External_variant _ | Deprecated_library_name _ -> []
           | Library (dir, (conf : Dune_file.Library.t)) -> (
             (* In the [implements] field of library stanzas, the user might use
                either public or private library names. As a result, we have to