1 files changed, 2 insertions, 2 deletions

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