From 5404c9734dbea3a28b24d003b9869c7e99aec6a9 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <sven.verdoolaege@gmail.com>
Date: Tue, 30 Jul 2024 22:15:55 +0200
Subject: [PATCH] evalue.c: esum_over_domain_cst: pass down options to
 barvinok_enumerate_e

This makes sure the user specified options are not silently ignored and
replaced by default options.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
---
 evalue.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/evalue.c b/evalue.c
index 6cbb367..9051b75 100644
--- a/evalue.c
+++ b/evalue.c
@@ -3404,7 +3404,7 @@ static evalue *esum_over_domain_cst(int nvar, Polyhedron *D, Matrix *C,
 	Matrix_Free(C);
     }
 
-    t = barvinok_enumerate_e(D, 0, nparam, options->MaxRays);
+    t = barvinok_enumerate_e_with_options(D, 0, nparam, options);
 
     /* Double check that D was not unbounded. */
     assert(!(value_pos_p(t->d) && value_neg_p(t->x.n)));
-- 
2.11.4.GIT