The Coq mailing list

[Enrico Tassi <enrico.tassi AT inria.fr>]

On Sun, Jan 25, 2015 at 01:27:32PM -0300, Leonardo Rodriguez wrote:
> > That seems to be OK. I googled the error, the error message is very
> similar to the following:

Hum it works here.  My guess is that it is picking up the wrong
genarg.cmi .  Can you double check your paths?  Or send me a more
detailed log?

Best,
-- 
Enrico Tassi