summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'src/knowledge/knowledge_learn_markov_sequence.c')
-rw-r--r--src/knowledge/knowledge_learn_markov_sequence.c9
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)
+ )
);
}