summaryrefslogtreecommitdiffstats
path: root/src/segtree.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/segtree.c')
-rw-r--r--src/segtree.c2
1 files changed, 0 insertions, 2 deletions
diff --git a/src/segtree.c b/src/segtree.c
index cd300d79..74f0fb33 100644
--- a/src/segtree.c
+++ b/src/segtree.c
@@ -571,8 +571,6 @@ static bool range_is_prefix(const mpz_t range)
return !mpz_cmp_ui(tmp, 0);
}
-extern void interval_map_decompose(struct expr *set);
-
static struct expr *expr_value(struct expr *expr)
{
switch (expr->ops->type) {