Clean-up Hcons module:
authorKim Nguyễn <kn@lri.fr>
Wed, 14 Mar 2012 12:52:16 +0000 (13:52 +0100)
committerKim Nguyễn <kn@lri.fr>
Wed, 14 Mar 2012 12:52:16 +0000 (13:52 +0100)
 - remove dead code
 - avoid one allocation.


No differences found