X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2Fccsolver.cc;h=8eb786dfb74013119be684c174e32f91a0d9931e;hb=88522b82efee075d4dbaf75e82231a399bcbb41c;hp=7acd00f4f4eb00ac48c9163e36527d6ea03b078b;hpb=e9ca288c7f0cf0f3bb9508c3cc9b212f557bcc40;p=satune.git

diff --git a/src/ccsolver.cc b/src/ccsolver.cc
index 7acd00f..8eb786d 100644
--- a/src/ccsolver.cc
+++ b/src/ccsolver.cc
@@ -135,7 +135,6 @@ void printConstraints(void *solver) {
 }
 
 
-
 void serialize(void *solver) {
 	CCSOLVER(solver)->serialize();
 }
@@ -151,4 +150,4 @@ void setInterpreter(void *solver, unsigned int type){
 
 void *clone(void *solver) {
 	return CCSOLVER(solver)->clone();
-}
\ No newline at end of file
+}