Sat, 29 Oct 2011 18:56:25 +0100 Mario de Sousa Fix semantic verification of enumerated data types.