summaryrefslogtreecommitdiffstats
path: root/include
diff options
context:
space:
mode:
Diffstat (limited to 'include')
-rw-r--r--include/expression.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/include/expression.h b/include/expression.h
index d44e804a..fc184106 100644
--- a/include/expression.h
+++ b/include/expression.h
@@ -366,6 +366,7 @@ extern struct expr *list_expr_alloc(const struct location *loc);
extern struct expr *set_expr_alloc(const struct location *loc);
extern int set_to_intervals(struct list_head *msgs, struct set *set,
struct expr *init, bool add);
+extern void interval_map_decompose(struct expr *set);
extern struct expr *mapping_expr_alloc(const struct location *loc,
struct expr *from, struct expr *to);