From 9ff2ab5d95ea50605faf9ca969bd498455b894a8 Mon Sep 17 00:00:00 2001
From: skimo <skimo>
Date: Thu, 5 Aug 2004 15:26:38 +0000
Subject: [PATCH] remove debugging output

---
 util.c | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/util.c b/util.c
index 6ca8014..daf6a1d 100644
--- a/util.c
+++ b/util.c
@@ -1144,9 +1144,6 @@ int DomainContains(Polyhedron *P, Value *list_args, int len,
 	mpz_fdiv_r(list_args[len+i+1], list_args[k], m);
     }
     value_clear(m);
-    for (i = 0; i < P->Dimension; ++i)
-	value_print(stderr, " %s;", list_args[i]);
-    fprintf(stderr, "\n");
 
     return in_domain(P, list_args);
 }
-- 
2.11.4.GIT