add replaceabality test

1 files changed, 0 insertions, 30 deletions

diff --git a/eiffel-fragen/nachbedingung/counter.e b/eiffel-fragen/nachbedingung/counter.e
deleted file mode 100644
index db93ce7..0000000
--- a/eiffel-fragen/nachbedingung/counter.e
+++ /dev/null
@@ -1,30 +0,0 @@
-class
-               COUNTER
-
-feature -- Access
-
-    item: INTEGER
-                          -- Counter's value.
-
-feature -- Element change
-
-    set (some_value: INTEGER) is
-            -- Set value of counter to some_value.
-             do
-                         item := some_value
-             ensure
-                                 checkval > 0
-             end
-
-    get: INTEGER is
-                -- Get value of counter
-                do
-                        Result := item
-                end
-
-    checkval: INTEGER is
-                -- Get value of counter
-                do
-                        Result := item
-                end
-end