remove unused local variable

2012-03-20 11:15:14 +01:00
parent 897aeb3132
commit 86fcaa2835
1 changed files with 0 additions and 2 deletions
--- 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)