bugfix for when trying to quote enumerate types
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 30 Sep 2009 08:45:54 +0000 (08:45 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 30 Sep 2009 08:45:54 +0000 (08:45 +0000)

No differences found