From 62180c5a55855f98886ec16e2b287f0107d1714b Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Mon, 19 Mar 2007 12:09:07 +0100
Subject: [PATCH] fix merge of check_poly from verif_ehrhart.c and lexmin.cc

This part was missing from ba897929c2200b16ef1cf3e078240e865327bba1.
---
 edomain.cc | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/edomain.cc b/edomain.cc
index 671ba5d..4535a91 100644
--- a/edomain.cc
+++ b/edomain.cc
@@ -535,7 +535,7 @@ bool EDomain::not_empty(lexmin_options *options)
 	bool notzero;
 	Value cb;
 	value_init(cb);
-	barvinok_count_with_options(P, &cb, options->barvinok);
+	barvinok_count_with_options(P, &cb, options->verify.barvinok);
 	notzero = value_notzero_p(cb);
 	value_clear(cb);
 	return notzero;
@@ -544,7 +544,7 @@ bool EDomain::not_empty(lexmin_options *options)
     Matrix *T = NULL;
     while (P && !emptyQ2(P) && P->NbEq > 0) {
 	Polyhedron *Q = P;
-	Matrix *T2 = remove_equalities(&P, 0, options->barvinok->MaxRays);
+	Matrix *T2 = remove_equalities(&P, 0, options->verify.barvinok->MaxRays);
 	if (!T)
 	    T = T2;
 	else {
@@ -560,7 +560,7 @@ bool EDomain::not_empty(lexmin_options *options)
 	}
     }
     if (P)
-	sample = Polyhedron_Sample(P, options->barvinok);
+	sample = Polyhedron_Sample(P, options->verify.barvinok);
     if (sample) {
 	if (T) {
 	    Vector *P_sample = Vector_Alloc(Porig->Dimension + 1);
-- 
2.11.4.GIT