Fri, 26 Oct 2012 17:41:21 +0100Fix typo.
Mario de Sousa <msousa@fe.up.pt> [Fri, 26 Oct 2012 17:41:21 +0100] rev 699
Fix typo.

Fri, 26 Oct 2012 13:52:16 +0100Remove deprecated class search_constant_type_c
Mario de Sousa <msousa@fe.up.pt> [Fri, 26 Oct 2012 13:52:16 +0100] rev 698
Remove deprecated class search_constant_type_c