/[eiffelstudio]/branches/CAT_mono/Src/Eiffel/eiffel/genericity/cl_type_i.e
ViewVC logotype

Diff of /branches/CAT_mono/Src/Eiffel/eiffel/genericity/cl_type_i.e

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 236 by grator, Tue Jun 8 12:09:28 1993 UTC revision 282 by grator, Wed Jul 28 16:03:15 1993 UTC
# Line 75  feature Line 75  feature
75    
76          instantiation_in (other: GEN_TYPE_I): CL_TYPE_I is          instantiation_in (other: GEN_TYPE_I): CL_TYPE_I is
77                          -- Instantiation of Current in context of `other'                          -- Instantiation of Current in context of `other'
78                    require else
79                            True
80                  do                  do
81                          Result := Current;                          Result := Current;
82                  end;                  end;

Legend:
Removed from v.236  
changed lines
  Added in v.282

  ViewVC Help
Powered by ViewVC 1.1.23