Hi, On Thu, May 20, 2010 at 04:16:55PM -0300, Flavio L. C. de Moura wrote:
> Error while loading "/usr/lib/ocaml/camlp5/pa_extfold.cmo": interface > mismatch on Pa_extend > File "term.ml", line 1, characters 0-1: > Error: Preprocessor error It means that camlp5 must be recompiled. Sources of Camlp5 are available at: http://pauillac.inria.fr/~ddr/camlp5/ -- Daniel de Rauglaudre http://pauillac.inria.fr/~ddr/ _______________________________________________ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
