diff options
Diffstat (limited to 'src/segtree.c')
| -rw-r--r-- | src/segtree.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/segtree.c b/src/segtree.c index 668c0857..f544704b 100644 --- a/src/segtree.c +++ b/src/segtree.c @@ -624,6 +624,7 @@ void interval_map_decompose(struct expr *set) prefix_len = expr_value(i)->len - mpz_scan0(range, 0); prefix = prefix_expr_alloc(&low->location, expr_value(low), prefix_len); + prefix->len = low->len; prefix = set_elem_expr_alloc(&low->location, prefix); if (low->ops->type == EXPR_MAPPING) prefix = mapping_expr_alloc(&low->location, prefix, |