1.1 --- a/resource_server.cc Wed Feb 03 23:33:48 2021 +0100
1.2 +++ b/resource_server.cc Fri Feb 12 00:17:57 2021 +0100
1.3 @@ -1,7 +1,7 @@
1.4 /*
1.5 * Resource server functionality.
1.6 *
1.7 - * Copyright (C) 2018, 2019, 2020 Paul Boddie <paul@boddie.org.uk>
1.8 + * Copyright (C) 2018, 2019, 2020, 2021 Paul Boddie <paul@boddie.org.uk>
1.9 *
1.10 * This program is free software; you can redistribute it and/or
1.11 * modify it under the terms of the GNU General Public License as
1.12 @@ -19,7 +19,6 @@
1.13 * Boston, MA 02110-1301, USA
1.14 */
1.15
1.16 -#include <l4/re/c/util/cap_alloc.h>
1.17 #include <l4/sys/types.h>
1.18
1.19 #include <pthread-l4.h>