Luis, As the output of your rpm command shows, it seems your system has a mixture of packages installed, some from ocaml 4.02.1, others from ocaml 4.02.3. So, if completely uninstalling menhir, making sure all its iles have been removed from your system and then recompiling it is notenough, one other thing that may be worse trying is to also uninstall every OCaml related packages and then re-installing them.
Sébastien. _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci