| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'src/knowledge/knowledge_learn_markov_sequence.c')
| -rw-r--r-- | src/knowledge/knowledge_learn_markov_sequence.c | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/knowledge/knowledge_learn_markov_sequence.c b/src/knowledge/knowledge_learn_markov_sequence.c index ec71254..2bd0103 100644 --- a/src/knowledge/knowledge_learn_markov_sequence.c +++ b/src/knowledge/knowledge_learn_markov_sequence.c @@ -2,7 +2,7 @@ #include <string.h> #include <stdint.h> /* defines SIZE_MAX */ -#include "../core/sequence.h" +#include "../sequence/sequence.h" #include "../pipe/pipe.h" @@ -18,15 +18,16 @@ static void set_nth_sequence const ZoO_index sequence_id ) { - /* Safe: (> k->sequences_length 1) */ if (sorted_sequence_id < (k->sequences_length - 1)) { memmove ( - /* Safe: (=< (+ sorted_sequence_id 1) k->sequences_length) */ (void *) (k->sequences_sorted + (sorted_sequence_id + 1)), (const void *) (k->sequences_sorted + sorted_sequence_id), - ((k->sequences_length - 1) - sorted_sequence_id) + ( + ((size_t) ((k->sequences_length - 1) - sorted_sequence_id)) + * sizeof(ZoO_index) + ) ); } |


