From daa33ac81c84a58cd5da6e58de00a2dde992600c Mon Sep 17 00:00:00 2001
From: skimo <skimo>
Date: Mon, 4 Oct 2004 09:35:49 +0000
Subject: [PATCH] don't call pip when there are no existential variables

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

diff --git a/barvinok_enumerate_e.c b/barvinok_enumerate_e.c
index 0c391a6..d9f93f4 100644
--- a/barvinok_enumerate_e.c
+++ b/barvinok_enumerate_e.c
@@ -75,7 +75,7 @@ int main(int argc, char **argv)
     Polyhedron_Print(stdout, P_VALUE_FMT, A);
     printf("exist: %d, nparam: %d\n", exist, nparam);
     param_name = Read_ParamNames(stdin, nparam);
-    if (pip)
+    if (pip && exist > 0)
 	EP = barvinok_enumerate_pip(A, exist, nparam, MAXRAYS);
     else
 	EP = barvinok_enumerate_e(A, exist, nparam, MAXRAYS);
-- 
2.11.4.GIT