fix typo

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