Skip to content

source files have the same name -- but one of them does not exist #453

@nilsbecker

Description

@nilsbecker

i am getting this error when using locate on CCHashtbl from containers:

 Several source files in your path have the same name: 

and then the path is exactly the same, in my opam install location, but the two file names are CCHashtbl.mli and cCHashtbl.mli. the second one does not exist at that location.

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions