From: vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Date: Sun, 11 Oct 2009 00:12:23 +0000 (+0000)
Subject: git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk... 
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=d9d2e3f43d1c3b2a5c22c98d9da7c071bac45bd5;p=francis%2Fstp.git

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

diff --git a/src/sat/core/depend.mk b/src/sat/core/depend.mk
deleted file mode 100644
index 222feae..0000000
--- a/src/sat/core/depend.mk
+++ /dev/null
@@ -1,8 +0,0 @@
-Solver.o: Solver.C Solver.h ../mtl/Map.h ../mtl/Vec.h ../mtl/Vec.h \
-  ../mtl/Heap.h ../mtl/Alg.h SolverTypes.h ../mtl/Sort.h
-Solver.op: Solver.C Solver.h ../mtl/Map.h ../mtl/Vec.h ../mtl/Vec.h \
-  ../mtl/Heap.h ../mtl/Alg.h SolverTypes.h ../mtl/Sort.h
-Solver.od: Solver.C Solver.h ../mtl/Map.h ../mtl/Vec.h ../mtl/Vec.h \
-  ../mtl/Heap.h ../mtl/Alg.h SolverTypes.h ../mtl/Sort.h
-Solver.or: Solver.C Solver.h ../mtl/Map.h ../mtl/Vec.h ../mtl/Vec.h \
-  ../mtl/Heap.h ../mtl/Alg.h SolverTypes.h ../mtl/Sort.h
diff --git a/src/simplifier/bvsolver.h b/src/simplifier/bvsolver.h
index d5784dd..00753f7 100644
--- a/src/simplifier/bvsolver.h
+++ b/src/simplifier/bvsolver.h
@@ -129,7 +129,7 @@ namespace BEEV
 
     public:
       //constructor
-      BVSolver(BeevMgr * bm, Simplifier * simp) : _bm(bm), _simp(simp)
+      BVSolver(BeevMgr * bm, Simplifier * simp) : _bm(bm), _simp(simp)	
         {
           ASTTrue = _bm->CreateNode(TRUE);
           ASTFalse = _bm->CreateNode(FALSE);