From 039012a85eeb0fe96bf5d3e079dac7a2dc678988 Mon Sep 17 00:00:00 2001 From: manuel Date: Wed, 29 Jun 2011 03:04:35 +0200 Subject: fix typo --- eiffel-fragen/replaceability/derived2.e | 3 +-- eiffel-fragen/replaceability/test.e | 4 ++-- 2 files changed, 3 insertions(+), 4 deletions(-) diff --git a/eiffel-fragen/replaceability/derived2.e b/eiffel-fragen/replaceability/derived2.e index 232ea6c..0622d41 100644 --- a/eiffel-fragen/replaceability/derived2.e +++ b/eiffel-fragen/replaceability/derived2.e @@ -17,10 +17,9 @@ feature derived2_num_between_1_and_10: num >= 1 and num <= 10 do RESULT := derived_add10(num) - ensure then - -- weaken postcondition end + -- weaken postcondition myresult: INTEGER do RESULT := 20 diff --git a/eiffel-fragen/replaceability/test.e b/eiffel-fragen/replaceability/test.e index 09a0821..44e2f9c 100644 --- a/eiffel-fragen/replaceability/test.e +++ b/eiffel-fragen/replaceability/test.e @@ -20,7 +20,7 @@ feature {NONE} -- Initialization ret := derived.add10(100) -- works --ret := derived2.add10(100) -- fails due to stronger preconditions - --ret := derived.add10(10) -- fails due to precondition - ret := derived2.add10(10) -- works due to weaker preconditions + --ret := derived.add10(10) -- fails due to postcondition + ret := derived2.add10(10) -- works due to weaker postcondition end end -- cgit v1.2.3