Ssreflect Users Discussion List

[Enrico Tassi <>]

On Tue, Dec 18, 2012 at 05:39:04PM +0100, Jose Grimm wrote:
> I'm using coq8.4, together with the ssreflect from coqfinitgroup/trunk
> 
> The Coq Proof Assistant, version 8.4 (September 2012)
> compiled on Sep 18 2012 18:24:06 with OCaml 3.12.0

This bug was fixed in revision 4155, commit title:

  "patterns with (X in t) part fix"

Could you double check you are really running revision 4165?
Is seems to work fine here.

Cheers
-- 
Enrico Tassi