diff options
Diffstat (limited to 'src/segtree.c')
| -rw-r--r-- | src/segtree.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/segtree.c b/src/segtree.c index 15e8849c..a2316a7b 100644 --- a/src/segtree.c +++ b/src/segtree.c @@ -64,6 +64,8 @@ struct elementary_interval { struct expr *expr; }; +static struct output_ctx debug_octx = {}; + static void seg_tree_init(struct seg_tree *tree, const struct set *set, struct expr *init) { @@ -564,7 +566,7 @@ int set_to_intervals(struct list_head *errs, struct set *set, } if (segtree_debug()) { - expr_print(init); + expr_print(init, &debug_octx); pr_gmp_debug("\n"); } |