From 77b7ff553cade9ad1ce125a4a3a500a560c19a11 Mon Sep 17 00:00:00 2001
From: skimo <skimo>
Date: Sun, 18 Jul 2004 20:58:08 +0000
Subject: [PATCH] recurse into the correct version of count_points

---
 util.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/util.c b/util.c
index 0fdfe0e..c33ae39 100644
--- a/util.c
+++ b/util.c
@@ -1089,7 +1089,7 @@ void count_points_e (int pos, Polyhedron *P, int exist, int nparam,
     for (value_assign(k,LB);value_le(k,UB);value_increment(k,k)) {
         /* Insert k in context */
         value_assign(context[pos],k);
-	count_points(pos+1,P->next,context,&c);
+	count_points_e(pos+1, P->next, exist, nparam, context, &c);
 	if(value_notmone_p(c))
 	    value_addto(*res, *res, c);
 	else {
-- 
2.11.4.GIT