update

[l4.git] / kernel / fiasco / src / kern / prio_list.cpp

diff --git a/kernel/fiasco/src/kern/prio_list.cpp b/kernel/fiasco/src/kern/prio_list.cpp
index b6ea99f35166c524cccb266933326c623b67ba4c..34192a6df63a0a60dc7838a77957480697276047 100644 (file)
--- a/kernel/fiasco/src/kern/prio_list.cpp
+++ b/kernel/fiasco/src/kern/prio_list.cpp
@@ -38,7 +38,7 @@ private:
 };
 
 
-class Locked_prio_list : public Prio_list, public Spin_lock
+class Locked_prio_list : public Prio_list, public Spin_lock<>
 {
 };