From 7af295b2ec22f06b24079bf895ac97079f64b6d7 Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Thu, 9 Feb 2017 20:03:33 +0100 Subject: It's starting to "properly" reply... The ACSL coverage is far behind though. --- src/knowledge/knowledge_get_random_target.c | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'src/knowledge/knowledge_get_random_target.c') 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" -- cgit v1.2.3-70-g09d2