Minor changes.

2017-02-12 12:42:25 +01:00
parent 7be394c689
commit a44c4d9a16
5 changed files with 12 additions and 8 deletions
--- a/library/server/wsf/router/wsf_filtered_routed_execution.e
+++ b/library/server/wsf/router/wsf_filtered_routed_execution.e
@@ -43,8 +43,6 @@ feature {NONE} -- Initialize

 	initialize_filtered_router
 			-- Initialize `router` and `filter`.
-		local
-			f: like filter
 		do
 			initialize_router
 			initialize_filter