Removed unwanted commented line

2012-10-08 09:27:03 +02:00
parent 146fd3cc7d
commit 2d3151e45f
1 changed files with 0 additions and 6 deletions
--- 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