From c02c0ed3667db88c001f8fbec43506abb1a89ff0 Mon Sep 17 00:00:00 2001
From: msoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
Date: Thu, 26 Nov 2009 00:31:35 +0000
Subject: [PATCH] cryptominisat's Makefile had its 'clean' missing

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@426 e59a4935-1847-0410-ae03-e826735625c1
---
 src/sat/cryptominisat/Makefile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/sat/cryptominisat/Makefile b/src/sat/cryptominisat/Makefile
index 65ecbd7..8ae59c5 100644
--- a/src/sat/cryptominisat/Makefile
+++ b/src/sat/cryptominisat/Makefile
@@ -16,5 +16,8 @@ $(LIB): $(OBJECTS)
 	ar cq $@ $(OBJECTS)
 	cp $(LIB) ../
 
+clean:
+	rm $(OBJECTS) $(LIB) ../$(LIB)
+
 .cpp.o:
 	$(CC) $(CFLAGS) $< -o $@
-- 
2.47.3