From 28ef35f08c496d2b9621d629d73ba696b83370fa Mon Sep 17 00:00:00 2001
From: skimo <skimo>
Date: Sat, 18 Sep 2004 11:49:08 +0000
Subject: [PATCH] override barvinok_enumerate_ev instead of barvinok_enumerate

---
 ev_size.c | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/ev_size.c b/ev_size.c
index f6e750f..f893643 100644
--- a/ev_size.c
+++ b/ev_size.c
@@ -72,16 +72,16 @@ long long Enumeration_bitsize(Enumeration *en)
     return s;
 }
 
-Enumeration* barvinok_enumerate(Polyhedron *P, Polyhedron* C, unsigned MaxRays)
+evalue* barvinok_enumerate_ev(Polyhedron *P, Polyhedron* C, unsigned MaxRays)
 {
-    static Enumeration *(*orig)(Polyhedron *, Polyhedron *c, unsigned) = NULL;
-    Enumeration *res;
+    static evalue *(*orig)(Polyhedron *, Polyhedron *c, unsigned) = NULL;
+    evalue *res;
     int c;
 
     if (!orig) {
 	void *handle = dlopen("libbarvinok.so", RTLD_LAZY);
 	assert(handle);
-	orig = dlsym(handle, "barvinok_enumerate");
+	orig = dlsym(handle, "barvinok_enumerate_ev");
 	assert(orig);
 	dlclose(handle);
     }
@@ -89,7 +89,7 @@ Enumeration* barvinok_enumerate(Polyhedron *P, Polyhedron* C, unsigned MaxRays)
     res = orig(P, C, MaxRays);
 
     fprintf(stderr, "SIZE: %d %lld %lld\n", P->Dimension - P->NbEq,
-	domain_bitsize(P) + domain_bitsize(C), Enumeration_bitsize(res));
+	domain_bitsize(P) + domain_bitsize(C), evalue_bitsize(res));
 
     return res;
 }
-- 
2.11.4.GIT