From 86fcaa283597eead126a0a013ea5b22b473f28d1 Mon Sep 17 00:00:00 2001
From: Jocelyn Fiat <github@djoce.net>
Date: Tue, 20 Mar 2012 11:15:14 +0100
Subject: [PATCH] remove unused local variable

---
 examples/restbucksCRUD/src/restbucks_server.e | 2 --
 1 file changed, 2 deletions(-)

diff --git a/examples/restbucksCRUD/src/restbucks_server.e b/examples/restbucksCRUD/src/restbucks_server.e
index 21a8921c..0b13d8d4 100644
--- a/examples/restbucksCRUD/src/restbucks_server.e
+++ b/examples/restbucksCRUD/src/restbucks_server.e
@@ -22,8 +22,6 @@ create
 feature {NONE} -- Initialization
 
 	make
-		local
-			s: WSF_DEFAULT_SERVICE_LAUNCHER
 		do
 			initialize_router
 			set_service_option ("port", 9090)