From: bdemsky <bdemsky@uci.edu>
Date: Wed, 31 Dec 2014 08:49:00 +0000 (+0900)
Subject: edit
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=4ae07496db03a08e1d3b713c13e337efbf89ee1c;hp=9bdf7d18433a3c0cde7429a013ef67fe75081ec7;p=satlib.git

edit
---

diff --git a/zchaff64/Makefile b/zchaff64/Makefile
index c3d88da..5e61863 100644
--- a/zchaff64/Makefile
+++ b/zchaff64/Makefile
@@ -66,6 +66,6 @@ libsat.a:   $(LIB_OBJS)
 	$(CC) $(CFLAGS) $(MFLAGS) -c $< 
 
 clean:	
-	rm -f *.o libsat.a zchaff *wrapper.cpp zminimal zverify_df cnf_stats SAT_C.h
+	rm -f *.o libsat.a zchaff *wrapper.cpp zminimal zverify_df cnf_stats SAT_C.h inc_solver
 
 all: zchaff zverify_df zminimal cnf_stats inc_solver