From b03112727f881a2a30848d965c308ebd12b6c1c3 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Mon, 17 Oct 2016 10:39:43 +0200 Subject: [PATCH] barvinok_enumerate.cc: verify: drop dead code This was missing from 01a28ef (barvinok_enumerate: use isl during the verification of explicit functions, Thu Mar 4 21:24:31 2010 +0100). Signed-off-by: Sven Verdoolaege --- Makefile.am | 2 -- barvinok_enumerate.cc | 13 +++---------- 2 files changed, 3 insertions(+), 12 deletions(-) diff --git a/Makefile.am b/Makefile.am index a0b72d3..6b9a9e5 100644 --- a/Makefile.am +++ b/Makefile.am @@ -250,8 +250,6 @@ barvinok_enumerate_SOURCES = \ skewed_genfun.h \ verify.h \ verify.c \ - verif_ehrhart.h \ - verif_ehrhart.c \ verify_series.h \ verify_series.cc EXTRA_barvinok_enumerate_SOURCES = fdstream.cc fdstream.h diff --git a/barvinok_enumerate.cc b/barvinok_enumerate.cc index bdfec78..b015049 100644 --- a/barvinok_enumerate.cc +++ b/barvinok_enumerate.cc @@ -8,7 +8,6 @@ #include #include "barvinok_enumerate_options.h" #include "verify.h" -#include "verif_ehrhart.h" #include "verify_series.h" #include "remove_equalities.h" #include "evalue_convert.h" @@ -185,15 +184,9 @@ static int verify(Polyhedron *P, Polyhedron *C, evalue *EP, skewed_gen_fun *gf, /******* CHECK NOW *********/ if (S) { - if (!options->series || options->function) { - if (!check_poly_EP(S, CS, EP, 0, C->Dimension, 0, p->p, - options->verify)) - result = -1; - } else { - if (!check_poly_gf(S, CS, gf, 0, C->Dimension, 0, p->p, - options->verify)) - result = -1; - } + if (!check_poly_gf(S, CS, gf, 0, C->Dimension, 0, p->p, + options->verify)) + result = -1; Domain_Free(S); } -- 2.11.4.GIT