Ssreflect Users Discussion List

[Enrico Tassi <>]

On Sun, May 13, 2012 at 09:13:40AM +0200, Guillaume Melquiond wrote:
> Hi,
> 
> I'm encountering a strange issue with 8.3pl4 and 1.3pl2 and I wonder if
> this rings a bell to someone. I don't remember having this issue with
> earlier versions, but I can't say for sure whether it comes from Coq,
> ssreflect, or my system.

I don't get exactly your problem, but does it vanish with that?

  
http://patch-tracker.debian.org/patch/series/view/ssreflect/1.3pl2-3/0002-Activated-option-Automatic-Coercions-Import.patch

If so I'll make pl release with the fix. But I was waiting for a patch
from Cyril...

Ciao
-- 
Enrico Tassi