summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-02-09 20:03:33 +0100
committerNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-02-09 20:03:33 +0100
commit7af295b2ec22f06b24079bf895ac97079f64b6d7 (patch)
tree84a554fc2c169956e3ee975152332c39f6c3615a /src/knowledge/knowledge_get_random_target.c
parent9ca43c73ba29d6b42cd771f1567074418c883c3e (diff)
It's starting to "properly" reply...
The ACSL coverage is far behind though.
Diffstat (limited to 'src/knowledge/knowledge_get_random_target.c')
-rw-r--r--src/knowledge/knowledge_get_random_target.c5
1 files changed, 3 insertions, 2 deletions
diff --git a/src/knowledge/knowledge_get_random_target.c b/src/knowledge/knowledge_get_random_target.c
index d9bf8a9..99fbc9b 100644
--- a/src/knowledge/knowledge_get_random_target.c
+++ b/src/knowledge/knowledge_get_random_target.c
@@ -2,9 +2,10 @@
#include "../core/char.h"
#include "../core/index.h"
-#include "../sequence/sequence.h"
-#include "../pipe/pipe.h"
+#include "../error/error.h"
+
+#include "../sequence/sequence.h"
#include "knowledge.h"