From e7c9a54f3ff7b31d56b5e061808358164cb31161 Mon Sep 17 00:00:00 2001
From: Jocelyn Fiat <git@djoce.net>
Date: Wed, 16 Dec 2015 21:03:15 +0100
Subject: [PATCH] Removed unused local.

---
 modules/session_auth/cms_session_auth_module.e | 2 --
 1 file changed, 2 deletions(-)

diff --git a/modules/session_auth/cms_session_auth_module.e b/modules/session_auth/cms_session_auth_module.e
index 52dfaf1..cf097d4 100644
--- a/modules/session_auth/cms_session_auth_module.e
+++ b/modules/session_auth/cms_session_auth_module.e
@@ -81,8 +81,6 @@ feature {CMS_API} -- Module Initialization
 feature {CMS_API} -- Module management
 
 	install (api: CMS_API)
-		local
-			l_consumers: LIST [STRING]
 		do
 				-- Schema
 			if attached api.storage.as_sql_storage as l_sql_storage then