added headers for CVC testcases that previously didn't have appropriate headers

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

diff --git a/src/sat/simp/depend.mk b/src/sat/simp/depend.mk
deleted file mode 100644 (file)
index 4a0512e..0000000
--- a/src/sat/simp/depend.mk
+++ /dev/null
@@ -1,16 +0,0 @@
-SimpSolver.o: SimpSolver.C ../mtl/Sort.h ../mtl/Vec.h SimpSolver.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
-SimpSolver.op: SimpSolver.C ../mtl/Sort.h ../mtl/Vec.h SimpSolver.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
-SimpSolver.od: SimpSolver.C ../mtl/Sort.h ../mtl/Vec.h SimpSolver.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
-SimpSolver.or: SimpSolver.C ../mtl/Sort.h ../mtl/Vec.h SimpSolver.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