From: Luca Padovani <luca.padovani@unito.it>
Date: Fri, 21 Feb 2003 13:20:34 +0000 (+0000)
Subject: * some fixes so to make Ocaml garbage collector happy
X-Git-Tag: V_0_0_4_1~13
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=inline;h=e3d3386861ccaed8b573173db458e315b06d233f;hp=e3d3386861ccaed8b573173db458e315b06d233f;p=helm.git

* some fixes so to make Ocaml garbage collector happy
* there is still the problem that the assert macro is not recognized (?)
---