/[eiffelstudio]
ViewVC logotype

Revision 91612


Jump to revision: Previous Next
Author: manus_eiffel
Date: Sat Sep 27 03:43:07 2008 UTC (11 years, 2 months ago)
Changed paths: 1
Log Message:
Fixed a catcall in invariant checking when verifying invariants on BOOLEAN_REF. The solution is
  to simply reverse the target and arguments so that the results of operations are always of type
  BOOLEAN.


Changed paths

Path Details
DirectoryFreeELKS/trunk/library/kernel/boolean_ref.e modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.23