diff options
Diffstat (limited to 'src/segtree.c')
-rw-r--r-- | src/segtree.c | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/segtree.c b/src/segtree.c index ec281359..ba455a6a 100644 --- a/src/segtree.c +++ b/src/segtree.c @@ -1084,11 +1084,13 @@ void interval_map_decompose(struct expr *set) i = range_expr_alloc(&low->location, expr_clone(expr_value(low)), i); i = set_elem_expr_alloc(&low->location, i); - if (low->etype == EXPR_MAPPING) + if (low->etype == EXPR_MAPPING) { i = mapping_expr_alloc(&i->location, i, expr_clone(low->right)); - - interval_expr_copy(i, low); + interval_expr_copy(i->left, low->left); + } else { + interval_expr_copy(i, low); + } expr_free(low); } |