update

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

diff --git a/kernel/fiasco/src/kern/obj_space.cpp b/kernel/fiasco/src/kern/obj_space.cpp
index c22f141fc3633888779404b285124a3773bdb5ff..e795ad5176cacef208369eebb3848987f17ff9e7 100644 (file)
--- a/kernel/fiasco/src/kern/obj_space.cpp
+++ b/kernel/fiasco/src/kern/obj_space.cpp
@@ -142,7 +142,7 @@ Generic_obj_space<SPACE>::~Generic_obj_space()
 }
 
 IMPLEMENT template< typename SPACE > inline
-void __attribute__((__flatten__))
+void FIASCO_FLATTEN
 Generic_obj_space<SPACE>::caps_free()
 { Base::caps_free(); }