From cadb0e43f1b55cc872a440bb1abcea298b1df899 Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Wed, 1 Feb 2012 12:36:24 +0000 Subject: [PATCH] Small speedup. Remove redundant initialisation. git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1546 e59a4935-1847-0410-ae03-e826735625c1 --- src/simplifier/constantBitP/multiplication/ColumnCounts.h | 1 - 1 file changed, 1 deletion(-) diff --git a/src/simplifier/constantBitP/multiplication/ColumnCounts.h b/src/simplifier/constantBitP/multiplication/ColumnCounts.h index 3a400f3..890a152 100644 --- a/src/simplifier/constantBitP/multiplication/ColumnCounts.h +++ b/src/simplifier/constantBitP/multiplication/ColumnCounts.h @@ -46,7 +46,6 @@ struct ColumnCounts columnL[i] = 0; columnH[i] = i + 1; } - rebuildSums(); } void rebuildSums() -- 2.47.3