update

[l4.git] / kernel / fiasco / tool / preprocess / test / verify / template.h

diff --git a/kernel/fiasco/tool/preprocess/test/verify/template.h b/kernel/fiasco/tool/preprocess/test/verify/template.h
index 320fceb28490163d748b93bb37ad13a12f476b4a..79ab22e2ee56cbd0fdc01ff5f417c85ebcf9fe20 100644 (file)
--- a/kernel/fiasco/tool/preprocess/test/verify/template.h
+++ b/kernel/fiasco/tool/preprocess/test/verify/template.h
@@ -109,9 +109,24 @@ template <> stack_t<int>*
 create_stack();
 
 #line 195 "template.cpp"
-template <> stack_t<bool>*
+template <> inline stack_t<bool>*
 create_stack();
 
+//
+// IMPLEMENTATION of inline functions (and needed classes)
+//
+
+
+#line 192 "template.cpp"
+
+
+
+template <> inline stack_t<bool>*
+create_stack<bool>()
+{
+  return new stack<bool>();
+}
+
 //
 // IMPLEMENTATION of function templates
 //