/[eiffelstudio]/branches/eth/eve/Src/framework/eiffel2boogie/tests/framing/ownership/composite/f_com_list.e
ViewVC logotype

Diff of /branches/eth/eve/Src/framework/eiffel2boogie/tests/framing/ownership/composite/f_com_list.e

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

revision 93377 by julian, Wed Nov 13 08:05:21 2013 UTC revision 93378 by julian, Thu Nov 14 15:57:08 2013 UTC
# Line 61  feature -- Access Line 61  feature -- Access
61                          modify ([])                          modify ([])
62                  do                  do
63                  ensure                  ensure
64                            sequence.has (Result)
65  --                      Result = sequence [i]  --                      Result = sequence [i]
66                  end                  end
67    

Legend:
Removed from v.93377  
changed lines
  Added in v.93378

  ViewVC Help
Powered by ViewVC 1.1.23