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_sequence.c | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'src/knowledge/knowledge_get_random_sequence.c') diff --git a/src/knowledge/knowledge_get_random_sequence.c b/src/knowledge/knowledge_get_random_sequence.c index 9055d31..92800a4 100644 --- a/src/knowledge/knowledge_get_random_sequence.c +++ b/src/knowledge/knowledge_get_random_sequence.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 "knowledge.h" @@ -52,7 +53,7 @@ int ZoO_knowledge_copy_random_swt_sequence ZoO_index sequence [const restrict static 1], const ZoO_index word_id, const ZoO_index markov_order, - const struct ZoO_pipe io [const restrict static 1] + FILE io [const restrict static 1] ) { ZoO_index sequence_id; -- cgit v1.2.3-70-g09d2