From 2d3151e45f2a06b9306193d31c52ec083ca90259 Mon Sep 17 00:00:00 2001
From: Jocelyn Fiat <jfiat@eiffel.com>
Date: Mon, 8 Oct 2012 09:27:03 +0200
Subject: [PATCH] Removed unwanted commented line

---
 examples/filter/src/domain/user.e | 6 ------
 1 file changed, 6 deletions(-)

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