git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk...

diff --git a/src/sat/core/depend.mk b/src/sat/core/depend.mk
deleted file mode 100644 (file)
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 d5784ddbd268a8bcae0a01130dba22a3bcf22577..00753f701b89174c4780d67aaff1db73cae4d5e9 100644 (file)
--- 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);