add replaceabality test

1 files changed, 0 insertions, 25 deletions

diff --git a/eiffel-fragen/nachbedingung/child.e b/eiffel-fragen/nachbedingung/child.e
deleted file mode 100644
index fcbe8c3..0000000
--- a/eiffel-fragen/nachbedingung/child.e
+++ /dev/null
@@ -1,25 +0,0 @@
-class
-               CHILD
-inherit
-        COUNTER
-                redefine
-                        set,
-                        checkval
-            end
-
-feature -- Element change
-
-    set (some_value: INTEGER) is
-            -- Set value of counter to some_value.
-             do
-                         item := some_value - 10
-             ensure then
-                                 checkval > 0
-             end
-
-    checkval: INTEGER is
-                -- Get value of counter
-                do
-                        Result := item + 20
-                end
-end