From 137a4354d2e037fe1b79e8243651806248f6eb39 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Sun, 24 Aug 2008 14:40:50 +0200 Subject: [PATCH] 4coins.cc: remove dead code --- 4coins.cc | 12 ------------ 1 file changed, 12 deletions(-) diff --git a/4coins.cc b/4coins.cc index 88d00a9..11c0529 100644 --- a/4coins.cc +++ b/4coins.cc @@ -53,18 +53,6 @@ void static scan(gen_fun *S) Vector_Free(params); } -bool is_indicator(gen_fun *gf, barvinok_options *options) -{ - gen_fun *test; - QQ mone(-1, 1); - - test = gf->Hadamard_product(gf, options); - test->add(mone, gf, options); - - test->print(std::cerr, 0, NULL); - cerr << endl; -} - int main(int argc, char **argv) { Matrix *M; -- 2.11.4.GIT