From 8e98ea18d76890a0da6ab01f4d6ad3f38bcac5b6 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Tue, 25 Oct 2016 10:59:02 +0200 Subject: [PATCH] barvinok.cc: ienumerator::ienumerator: drop redundant argument The argument became redundant in 8d2d47c (keep track of and use saturating constraints in Param_Polyhedron, Fri Oct 5 09:33:16 2007 +0200). Signed-off-by: Sven Verdoolaege --- barvinok.cc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/barvinok.cc b/barvinok.cc index 12eef2f..c330675 100644 --- a/barvinok.cc +++ b/barvinok.cc @@ -771,7 +771,7 @@ struct ienumerator : public signed_cone_consumer, public vertex_decomposer, mpq_t tcount; Value tz; - ienumerator(Polyhedron *P, unsigned dim, Param_Polyhedron *PP) : + ienumerator(unsigned dim, Param_Polyhedron *PP) : vertex_decomposer(PP, *this), ienumerator_base(dim, this) { vertex.SetDims(1, dim); @@ -1089,7 +1089,7 @@ enumerator_base *enumerator_base::create(Polyhedron *P, unsigned dim, if (options->incremental_specialization == BV_SPECIALIZATION_BF) eb = new bfenumerator(dim, PP); else if (options->incremental_specialization == BV_SPECIALIZATION_DF) - eb = new ienumerator(P, dim, PP); + eb = new ienumerator(dim, PP); else eb = new enumerator(P, dim, PP); -- 2.11.4.GIT