Multiple definition of the extension constructor name Found.

[IFEIFEI]

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

[ybertot]

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