From a3fdefa6f9c6558e27d4a588947d3d537b13d854 Mon Sep 17 00:00:00 2001 From: Edgard Schmidt Date: Sun, 23 Sep 2018 13:19:35 +0200 Subject: [PATCH] tutorial: remove unused variable --- repos/hello_tutorial/doc/hello_tutorial.txt | 2 +- repos/hello_tutorial/src/hello/server/main.cc | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/repos/hello_tutorial/doc/hello_tutorial.txt b/repos/hello_tutorial/doc/hello_tutorial.txt index 4023ac801..4e584593f 100644 --- a/repos/hello_tutorial/doc/hello_tutorial.txt +++ b/repos/hello_tutorial/doc/hello_tutorial.txt @@ -172,7 +172,7 @@ parameters. !{ ! protected: ! -! Session_component *_create_session(const char *args) +! Session_component *_create_session(const char *) ! { ! Genode::log("creating hello session"); ! return new (md_alloc()) Session_component(); diff --git a/repos/hello_tutorial/src/hello/server/main.cc b/repos/hello_tutorial/src/hello/server/main.cc index af78017e8..7106784de 100644 --- a/repos/hello_tutorial/src/hello/server/main.cc +++ b/repos/hello_tutorial/src/hello/server/main.cc @@ -42,7 +42,7 @@ class Hello::Root_component { protected: - Session_component *_create_session(const char *args) + Session_component *_create_session(const char *) { Genode::log("creating hello session"); return new (md_alloc()) Session_component();