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 d616dcfc400d8a27590b4714e0e0a5496e21c8e3..33135326f9eb8927ecddb787a1edc5ddac25e789 100644 (file)
--- a/l4/pkg/mag/plugins/src/plugin.cc
+++ b/l4/pkg/mag/plugins/src/plugin.cc
@@ -1,5 +1,8 @@
 /*
- * (c) 2010 Technische Universität Dresden
+ * (c) 2010 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
+ *          Alexander Warg <warg@os.inf.tu-dresden.de>
+ *     economic rights: Technische Universität Dresden (Germany)
+ *
  * This file is part of TUD:OS and distributed under the terms of the
  * GNU General Public License 2.
  * Please see the COPYING-GPL-2 file for details.
@@ -30,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);
 }