From d9d2e3f43d1c3b2a5c22c98d9da7c071bac45bd5 Mon Sep 17 00:00:00 2001 From: vijay_ganesh Date: Sun, 11 Oct 2009 00:12:23 +0000 Subject: [PATCH] git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@286 e59a4935-1847-0410-ae03-e826735625c1 --- src/sat/core/depend.mk | 8 -------- src/simplifier/bvsolver.h | 2 +- 2 files changed, 1 insertion(+), 9 deletions(-) delete mode 100644 src/sat/core/depend.mk 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); -- 2.47.3