Saving the best tuner settings + bug fixes

[satune.git] / src / ccsolver.h

diff --git a/src/ccsolver.h b/src/ccsolver.h
index f98dbf266a257033b98d669c3c1fecec7cdf80c0..a17bd1cfd1c9601e379245d747e705baf441b77a 100644 (file)
--- a/src/ccsolver.h
+++ b/src/ccsolver.h
@@ -41,6 +41,7 @@ int getOrderConstraintValue(void* solver,void *order, long first, long second);
 void printConstraints(void* solver);
 void serialize(void* solver);
 void mustHaveValue(void *solver, void *element);
+void* clone(void * solver);
 #ifdef __cplusplus
 }
 #endif