From 6a8dd68f130e4f399a4597702853bb1431540a9a Mon Sep 17 00:00:00 2001 From: vijay_ganesh Date: Thu, 22 Oct 2009 16:34:32 +0000 Subject: [PATCH] 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 --- src/sat/simp/depend.mk | 16 ---------------- 1 file changed, 16 deletions(-) delete mode 100644 src/sat/simp/depend.mk diff --git a/src/sat/simp/depend.mk b/src/sat/simp/depend.mk deleted file mode 100644 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 -- 2.47.3