From 4d91e449d73b413eefc3ffc35aabf33e3feb48f9 Mon Sep 17 00:00:00 2001
From: Jocelyn Fiat <github@djoce.net>
Date: Fri, 25 Aug 2017 09:32:12 +0200
Subject: [PATCH] Removed unused local variable.

---
 src/service/cms_execution.e | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/service/cms_execution.e b/src/service/cms_execution.e
index ea7e780..cbe6ec3 100644
--- a/src/service/cms_execution.e
+++ b/src/service/cms_execution.e
@@ -384,7 +384,6 @@ feature -- Filters
 			-- Create `filter'.
 		local
 			f, l_filter: detachable WSF_FILTER
-			l_module: CMS_MODULE
 			l_api: like api
 		do
 			l_api := api