From: Paul G. C. <pau...@pl...> - 2004-05-31 19:16:09
|
Eric Bezault wrote: > Colin Paul Adams wrote: > >> Now in MA_DECIMAL.to_integer, the pre-condition: >> >> within_limits: Current <= Maximum_integer_as_decimal or else Current >> >= Minimum_integer_as_decimal >> >> appears to be wrong - it surely should be and then, not or else. > > > This one was in my list that I sent to Paul today > after my code review. > I'm busy processing the code review ;) Paul G. Crismer |