Ssreflect Users Discussion List

[Chantal Keller <>]

Hi Pierre,

It might mean that your version of OCaml has changed since you compiled Coq.

Cheers,
Chantal.



Le 01/12/2011 09:42, Pierre Casteran a écrit :
> Hi,
>
> I use a coq implementation (8.3pl2) and get the following message
> at compilation time:
>
> File "src/ssreflect.ml", line 1, characters 0-1:
>
> Error while loading "/home/local/coq-8.3pl2/parsing/grammar.cma":
> interface mismatch on Buffer.
>
> I've taken the <static> option.
>
>
>
> Pierre