Remove junk.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1253 e59a4935-1847-0410-ae03-e826735625c1

diff --git a/src/simplifier/bvsolver.cpp b/src/simplifier/bvsolver.cpp
index 2c6ab8b83bb187c1b28b24bb6308d4bc10ad64f0..c67f46670263fe44edfc36dfa50eb6130fbe6223 100644 (file)
--- a/src/simplifier/bvsolver.cpp
+++ b/src/simplifier/bvsolver.cpp
@@ -509,21 +509,6 @@ namespace BEEV
     return output;
   } //end of BVSolve_Odd()
 
-  bool containsExtract(const ASTNode& n, ASTNodeSet& visited) {
-       if (visited.find(n) != visited.end())
-               return false;
-
-       if (BVEXTRACT == n.GetKind())
-               return true;
-
-       for (unsigned i = 0; i < n.Degree(); i++) {
-               if (containsExtract(n[i], visited))
-                       return true;
-       }
-       visited.insert(n);
-       return false;
-  }
-
   // Solve for XORs.
   // to do. Flatten the XOR.
   ASTNode BVSolver::solveForXOR(const ASTNode& xorNode)