diff --git a/Demo/metaclasses/Eiffel.py b/Demo/metaclasses/Eiffel.py index d9c8a9a0c7f..68eb1cd21db 100644 --- a/Demo/metaclasses/Eiffel.py +++ b/Demo/metaclasses/Eiffel.py @@ -28,7 +28,7 @@ post-condition with that defined in the derived class', for example: class D(C): def m1(self, arg): - return whatever**2 + return arg**2 def m1_post(self, Result, arg): C.m1_post(self, Result, arg) assert Result < 100