coq icon indicating copy to clipboard operation
coq copied to clipboard

Published 20 hours ago • verified publisher icon HoTT

Multiple definition of the extension constructor name Found.

Open IFEIFEI opened this issue 4 years ago • 1 comments

While I was trying to execute make, this happens.

OCAMLOPT  kernel/univ.ml
File "kernel/univ.ml", line 302, characters 16-21:
Error: Multiple definition of the extension constructor name Found.
       Names must be unique in a given structure or signature.
make[1]: *** [kernel/univ.cmx] Error 2
make[1]: Leaving directory `/home/dany/workplace/coq-trunk'
make: *** [world] Error 2

IFEIFEI avatar Dec 29 '20 11:12 IFEIFEI

You have to give information about the compilation setup. What were all the commands you executed to get to this error message?

ybertot avatar Jan 04 '21 07:01 ybertot