-
Erwan Jahier authored
the tables were not cleaned ! nb : to track this, i've replaced StringMap.find and Hashtbl.find by mfind and hfind defined in Util and used everywhere.
6fbc504c
the tables were not cleaned ! nb : to track this, i've replaced StringMap.find and Hashtbl.find by mfind and hfind defined in Util and used everywhere.