[ref_impl_eiffel] [773] Manual patch from revision 771 of change to CADL_VALIDATOR to alter behaviour of handling constraint containing a single Integer; previously it was converted to an interval, now it is handled as a list of one member.

Revision: 773
Author: thomas.beale

Log Message: