home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 5 / Apprentice-Release5.iso / Environments / SmallEiffel 0.3.3 / SmallEiffel 68k / lib_msg / bad_ensure2.e < prev    next >
Encoding:
Text File  |  1996-06-13  |  197 b   |  19 lines  |  [TEXT/EDIT]
  1. class BAD_ENSURE1
  2. --
  3. -- From a bug report of Antoine GARRIGUES.
  4. --
  5. creation {ANY}
  6.    make
  7.  
  8. feature {NONE}
  9.  
  10.    t: INTEGER;
  11.  
  12.    make is
  13.       do
  14.       ensure
  15.          t : = 0
  16.       end;
  17.  
  18. end -- TEST
  19.