From: vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Date: Sun, 11 Oct 2009 00:12:49 +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=8e490635d40c43fd9b5f4f0adf8692ce7ef90815;p=francis%2Fstp.git

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

diff --git a/src/sat/unsound/depend.mk b/src/sat/unsound/depend.mk
deleted file mode 100644
index 81e0015..0000000
--- a/src/sat/unsound/depend.mk
+++ /dev/null
@@ -1,16 +0,0 @@
-UnsoundSimpSolver.o: UnsoundSimpSolver.C ../mtl/Sort.h ../mtl/Vec.h \
-  UnsoundSimpSolver.h ../mtl/Queue.h ../core/Solver.h \
-  ../core/../mtl/Map.h ../core/../mtl/Vec.h ../core/../mtl/Vec.h \
-  ../core/../mtl/Heap.h ../core/../mtl/Alg.h ../core/SolverTypes.h
-UnsoundSimpSolver.op: UnsoundSimpSolver.C ../mtl/Sort.h ../mtl/Vec.h \
-  UnsoundSimpSolver.h ../mtl/Queue.h ../core/Solver.h \
-  ../core/../mtl/Map.h ../core/../mtl/Vec.h ../core/../mtl/Vec.h \
-  ../core/../mtl/Heap.h ../core/../mtl/Alg.h ../core/SolverTypes.h
-UnsoundSimpSolver.od: UnsoundSimpSolver.C ../mtl/Sort.h ../mtl/Vec.h \
-  UnsoundSimpSolver.h ../mtl/Queue.h ../core/Solver.h \
-  ../core/../mtl/Map.h ../core/../mtl/Vec.h ../core/../mtl/Vec.h \
-  ../core/../mtl/Heap.h ../core/../mtl/Alg.h ../core/SolverTypes.h
-UnsoundSimpSolver.or: UnsoundSimpSolver.C ../mtl/Sort.h ../mtl/Vec.h \
-  UnsoundSimpSolver.h ../mtl/Queue.h ../core/Solver.h \
-  ../core/../mtl/Map.h ../core/../mtl/Vec.h ../core/../mtl/Vec.h \
-  ../core/../mtl/Heap.h ../core/../mtl/Alg.h ../core/SolverTypes.h