[Fix] Suppress comments and unnecessary feature redefinition

safe-eiffel · Apr 9, 2013 · 34b8ba3 · 34b8ba3
1 parent e586c39
commit 34b8ba3
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 18 deletions.
diff --git a/src/abstract/ecli_cursor.e b/src/abstract/ecli_cursor.e
@@ -18,8 +18,7 @@ inherit
 
 	ECLI_QUERY
 		redefine
-			real_execution,
-			initialize
+			real_execution
 		end
 
 feature -- Status report
@@ -76,11 +75,6 @@ feature -- Cursor movement
 
 feature {NONE} -- Implementation
 
-	initialize
-		do
---			create_buffers
-		end
-
 	create_buffers
 			-- create all ECLI_VALUE objects
 		deferred

diff --git a/src/abstract/ecli_statement.e b/src/abstract/ecli_statement.e
@@ -127,7 +127,7 @@ feature {NONE} -- Initialization
 		end
 
 	create_error_handler (a_session : ECLI_SESSION)
-			-- create `error_handler´
+			-- create `error_handler´
 		do
 			error_handler := a_session.error_handler
 		ensure
@@ -139,16 +139,6 @@ feature {NONE} -- Initialization
 		do
 		end
 
---	create_error_handler is
---			-- create `error_handler´
---		do
---			if error_handler = Void then
---				create error_handler.make_null
---			end
---		ensure
---			error_handler_created: error_handler /= Void
---		end
-
 feature -- Basic operations
 
 	close