diff options
Diffstat (limited to 'src/segtree.c')
| -rw-r--r-- | src/segtree.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/segtree.c b/src/segtree.c index 45e5f5b2..5b6cdd1d 100644 --- a/src/segtree.c +++ b/src/segtree.c @@ -336,6 +336,10 @@ static unsigned int expr_to_intervals(const struct expr *set, static bool interval_overlap(const struct elementary_interval *e1, const struct elementary_interval *e2) { + if (mpz_cmp(e1->left, e2->left) == 0 && + mpz_cmp(e1->right, e2->right) == 0) + return false; + return (mpz_cmp(e1->left, e2->left) >= 0 && mpz_cmp(e1->left, e2->right) <= 0) || (mpz_cmp(e1->right, e2->left) >= 0 && |