bug history copy

This commit is contained in:
Théophyl Hoguet committed 2022-01-06 18:06:59 +01:00
1 parent 106aeb8db4
commit 463aa5900c
1 file changed
+1
+1
View File
@@ -201,6 +201,7 @@ history history_copy(history h) {
h = history_next(h);
cpt++;
}
h = history_first(h);
history h2 = history_insert_first(history_create_empty(), h->state, h->i, h->j);
while (!history_is_empty(history_next(h))) {
h = history_next(h);