Wed, 07 Nov 2012 20:07:11 +0000Make search_base_type_c a singleton!
Mario de Sousa <msousa@fe.up.pt> [Wed, 07 Nov 2012 20:07:11 +0000] rev 718
Make search_base_type_c a singleton!