Ssreflect Users Discussion List

[Enrico Tassi <>]

On Tue, Sep 16, 2014 at 12:47:09PM +0000, Georges Gonthier wrote:
>   If you changed this it would be a major incompatibility (and loss of
>   functionality).

Many thanks for the explanation.  I've no intention to change it, I just
wanted to remember why it is that way ;-)

Best,
-- 
Enrico Tassi