From 8e490635d40c43fd9b5f4f0adf8692ce7ef90815 Mon Sep 17 00:00:00 2001 From: vijay_ganesh Date: Sun, 11 Oct 2009 00:12:49 +0000 Subject: [PATCH] git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@287 e59a4935-1847-0410-ae03-e826735625c1 --- src/sat/unsound/depend.mk | 16 ---------------- 1 file changed, 16 deletions(-) delete mode 100644 src/sat/unsound/depend.mk 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 -- 2.47.3