diff options
Diffstat (limited to 'include/expression.h')
-rw-r--r-- | include/expression.h | 1 |
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); |