rumpdefs.h is no longer necessary

diff --git a/rumpkern_demo.c b/rumpkern_demo.c
index 72104f2ff2d2634f382e32b000370bccfb9a7b16..3fa2e765ca0e62078b5801ac619df15d90c4a98d 100644 (file)
--- a/rumpkern_demo.c
+++ b/rumpkern_demo.c
@@ -15,7 +15,6 @@
 
 #include <rump/rump.h>
 #include <rump/rump_syscalls.h>
-#include <rump/rumpdefs.h>
 #include <rump/netconfig.h>
 
 void demo_thread(void *);