update

[l4.git] / l4 / pkg / mag / plugins / src / plugin.cc

diff --git a/l4/pkg/mag/plugins/src/plugin.cc b/l4/pkg/mag/plugins/src/plugin.cc
index 289f0b5c2eb73bf462596919dabcf1500889431d..33135326f9eb8927ecddb787a1edc5ddac25e789 100644 (file)
--- a/l4/pkg/mag/plugins/src/plugin.cc
+++ b/l4/pkg/mag/plugins/src/plugin.cc
@@ -33,7 +33,9 @@ public:
 };
 
 
-extern "C" void init_plugin(Core_api *core)
+extern "C" void init_plugin(Core_api *core);
+
+void init_plugin(Core_api *core)
 {
   Plugin_manager::init(core);
 }