From 8efbddc8cbf1251af5a0ea0851b6372d331e63d9 Mon Sep 17 00:00:00 2001 From: Jocelyn Fiat Date: Thu, 6 Aug 2015 11:52:47 +0200 Subject: [PATCH] Removed unused local variables. --- src/service/user/cms_user_api.e | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/service/user/cms_user_api.e b/src/service/user/cms_user_api.e index 53874a5..956afd5 100644 --- a/src/service/user/cms_user_api.e +++ b/src/service/user/cms_user_api.e @@ -145,9 +145,7 @@ feature -- User roles. role_permissions: HASH_TABLE [LIST [READABLE_STRING_8], STRING_8] -- Possible known permissions indexed by modules. local - perm: READABLE_STRING_8 lst, l_used_permissions: LIST [READABLE_STRING_8] - l_found: BOOLEAN do create Result.make (cms_api.enabled_modules.count + 1)