diff --git a/examples/filter/src/domain/user.e b/examples/filter/src/domain/user.e
index 527e0afb..0ad70f2c 100644
--- a/examples/filter/src/domain/user.e
+++ b/examples/filter/src/domain/user.e
@@ -40,12 +40,6 @@ feature -- Access
  	password: STRING
  			-- Password
 
- 	foo_: STRING
- 		do
- 		ensure
-			anchor: False
- 		end
-
 feature -- Comparison
 
 	is_equal (other: like Current): BOOLEAN