dstest_test_server.cc | raw changeset files shortlog |
1.1 --- a/dstest_test_server.cc Sat Feb 27 00:04:27 2021 +0100 1.2 +++ b/dstest_test_server.cc Sat Feb 27 23:41:06 2021 +0100 1.3 @@ -22,7 +22,7 @@ 1.4 #include <l4/re/env.h> 1.5 #include <l4/sys/err.h> 1.6 1.7 -#include <ipc/cap_alloc.h> 1.8 +#include <ipc/thread.h> 1.9 1.10 #include <stdio.h> 1.11 #include <string.h>