tutorial: remove unused variable

2018-09-23 13:19:35 +02:00
parent d56454f153
commit a3fdefa6f9
2 changed files with 2 additions and 2 deletions
--- 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();