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