From e60aa4692282674010f77f4099372337400143d8 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Sat, 26 Apr 2008 11:46:35 +0200
Subject: [PATCH] barvinok_e.cc: enumerate_sum: use barvinok_summate instad of
 evalue_sum

---
 barvinok_e.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/barvinok_e.cc b/barvinok_e.cc
index 0020dc6..250c26d 100644
--- a/barvinok_e.cc
+++ b/barvinok_e.cc
@@ -382,7 +382,7 @@ static evalue* enumerate_sum(Polyhedron *P,
 
     evalue_frac2floor(EP);
 
-    evalue *sum = evalue_sum(EP, nvar, options->MaxRays);
+    evalue *sum = barvinok_summate(EP, nvar, options);
 
     evalue_free(EP);
     EP = sum;
-- 
2.11.4.GIT