/[eiffelstudio]/branches/eth/eve/Src/Eiffel/API/evaluated_type/none_a.e
ViewVC logotype

Diff of /branches/eth/eve/Src/Eiffel/API/evaluated_type/none_a.e

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

revision 18 by grator, Fri Mar 12 17:44:01 1993 UTC revision 274 by grator, Fri Jul 9 15:22:19 1993 UTC
# Line 28  feature Line 28  feature
28                  end;                  end;
29    
30          associated_class: CLASS_C is          associated_class: CLASS_C is
31                    require else
32                            True
33                  do                  do
34                          -- No associated class                          -- No associated class
35                  end;                  end;

Legend:
Removed from v.18  
changed lines
  Added in v.274

  ViewVC Help
Powered by ViewVC 1.1.23