ViewVC logotype

Revision 48670

Jump to revision: Previous Next
Author: alexk
Date: Wed Feb 23 17:46:45 2005 UTC (14 years, 11 months ago)
Changed paths: 1
Log Message:
Added a postcondition to `associated_class_type'.
Reverted to original definition of `has_associated_class_type' as it is
correct given that all class types are registered as required.

Changed paths

Path Details
Directorytrunk/Src/bench/Eiffel/eiffel/genericity/cl_type_i.e modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.23