Bugfix. Another leak introduced in r1055.

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

diff --git a/src/simplifier/bvsolver.cpp b/src/simplifier/bvsolver.cpp
index cb0b158adbe55d58f261014cea63b2d6ebbf189b..2a34fb18253212700bc669423efb99ebcee30933 100644 (file)
--- a/src/simplifier/bvsolver.cpp
+++ b/src/simplifier/bvsolver.cpp
@@ -1240,6 +1240,7 @@ namespace BEEV
                                  const ASTNodeSet& sym = *TermsAlreadySeenMap.find(av[i])->second;
                                  result |= (sym.find(var) !=sym.end());
                          }
+                         delete symbols;
                  }
                  return result;
          }