octopus: remove inclusion to flounder header from public trigger.h

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

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