update

[l4.git] / l4 / pkg / l4re_kernel / server / src / loader.h

diff --git a/l4/pkg/l4re_kernel/server/src/loader.h b/l4/pkg/l4re_kernel/server/src/loader.h
index 2a84c5905bd455805b236249f996a58c512f8eeb..c363ed1b1bf0cb20ba6209e17412e621c1722b52 100644 (file)
--- a/l4/pkg/l4re_kernel/server/src/loader.h
+++ b/l4/pkg/l4re_kernel/server/src/loader.h
@@ -114,7 +114,7 @@ struct L4Re_app_model : public Ldr::Base_app_model<L4Re_stack>
     return L4::Cap<L4Re::Dataspace>(Global::l4re_aux->kip_ds);
   }
 
-  void const *generate_l4aux(char const *, char const *) const
+  void const *generate_l4aux(char const *) const
   { return Global::l4re_aux; }
 
   void extra_elf_auxv();