octopus: remove inclusion to flounder header from public trigger.h
authorReto Achermann <reto.achermann@inf.ethz.ch>
Fri, 7 Apr 2017 07:30:00 +0000 (09:30 +0200)
committerReto Achermann <reto.achermann@inf.ethz.ch>
Fri, 7 Apr 2017 07:30:00 +0000 (09:30 +0200)
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

include/octopus/trigger.h

index ae40e41..17e2309 100644 (file)
@@ -16,7 +16,6 @@
 #define OCTOPUS_TRIGGER_H_
 
 #include <barrelfish/barrelfish.h>
-#include <if/octopus_defs.h>
 
 #include <octopus/definitions.h>