Wed, 31 Aug 2011 19:29:47 +0100delete code no longer needed.
Mario de Sousa <msousa@fe.up.pt> [Wed, 31 Aug 2011 19:29:47 +0100] rev 373
delete code no longer needed.

Wed, 31 Aug 2011 14:51:59 +0100Implement get_type_decl(), as it seems Manuele will need it later...
Mario de Sousa <msousa@fe.up.pt> [Wed, 31 Aug 2011 14:51:59 +0100] rev 372
Implement get_type_decl(), as it seems Manuele will need it later...