Subject: Ssreflect Users Discussion List
List archive
- From: Pierre Casteran <>
- To: "" <>
- Subject: problem with installation of ssreflect (1.3pl2)
- Date: Thu, 01 Dec 2011 09:42:43 +0100
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
- problem with installation of ssreflect (1.3pl2), Pierre Casteran, 12/01/2011
- Re: problem with installation of ssreflect (1.3pl2), Chantal Keller, 12/01/2011
Archive powered by MHonArc 2.6.18.