projects
/
barrelfish
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
(parent:
c7e872c
)
octopus: remove inclusion to flounder header from public trigger.h
author
Reto Achermann
<reto.achermann@inf.ethz.ch>
Fri, 7 Apr 2017 07:30:00 +0000 (09:30 +0200)
committer
Reto 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
patch
|
blob
|
history
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>