bug fixes

[satune.git] / src / ccsolver.cc

diff --git a/src/ccsolver.cc b/src/ccsolver.cc
index 7acd00f4f4eb00ac48c9163e36527d6ea03b078b..8eb786dfb74013119be684c174e32f91a0d9931e 100644 (file)
--- a/src/ccsolver.cc
+++ b/src/ccsolver.cc
@@ -135,7 +135,6 @@ void printConstraints(void *solver) {
 }
 
 
 }
 
 

-

 void serialize(void *solver) {
        CCSOLVER(solver)->serialize();
 }
 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();
 
 void *clone(void *solver) {
        return CCSOLVER(solver)->clone();

-}
\ No newline at end of file
+}