From d1ee650823b32fdca54da6263b8609ddb78a7e4a Mon Sep 17 00:00:00 2001
From: skimo <skimo>
Date: Wed, 14 Jul 2004 15:47:43 +0000
Subject: [PATCH] don't count storage space for the rays

---
 ev_operations.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/ev_operations.c b/ev_operations.c
index c7f8b59..5512dcf 100644
--- a/ev_operations.c
+++ b/ev_operations.c
@@ -2026,9 +2026,11 @@ size_t domain_size(Polyhedron *D)
 	for (j = 0; j < D->Dimension+2; ++j)
 	    s += value_size(D->Constraint[i][j]);
 
+/*
     for (i = 0; i < D->NbRays; ++i)
 	for (j = 0; j < D->Dimension+2; ++j)
 	    s += value_size(D->Ray[i][j]);
+*/
 
     return D->next ? s+domain_size(D->next) : s;
 }
-- 
2.11.4.GIT