Wed, 06 Jul 2011 12:01:46 +0200 laurent Fix bug when trying to find the type of a NULL symbol