Add hooks to re-initialize hconsed modules.
authorKim Nguyễn <kn@lri.fr>
Fri, 20 Apr 2012 14:54:22 +0000 (16:54 +0200)
committerKim Nguyễn <kn@lri.fr>
Fri, 20 Apr 2012 14:54:22 +0000 (16:54 +0200)

No differences found