From: Kim Nguyễn <kn@lri.fr>
Date: Wed, 14 Mar 2012 12:52:16 +0000 (+0100)
Subject: Clean-up Hcons module:
X-Git-Url: http://git.nguyen.vg/gitweb/?a=commitdiff_plain;h=80358d87bec105b38a36c5d31d24a522edd48f40;hp=80358d87bec105b38a36c5d31d24a522edd48f40;p=SXSI%2Fxpathcomp.git

Clean-up Hcons module:
	 - remove dead code
	 - avoid one allocation.
---