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

diff --git a/src/simplifier/constantBitP/multiplication/ColumnCounts.h b/src/simplifier/constantBitP/multiplication/ColumnCounts.h
index 3a400f35c649fbf17b82b23dd47b9b09e6ff3ee0..890a15273ff03bcc07dfeae70b3328e3e877ac13 100644 (file)
--- 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()