Adding a directed search based config for the tuner

[satune.git] / src / csolver.cc

diff --git a/src/csolver.cc b/src/csolver.cc
index f1bd9b64870f4dd45ed570a2d2608d2772825f8c..9f374cc00df78fc08ac6c7097f0e78aaa4b12b2d 100644 (file)
--- a/src/csolver.cc
+++ b/src/csolver.cc
@@ -154,7 +154,7 @@ CSolver *CSolver::clone() {
 }
 
 CSolver *CSolver::deserialize(const char *file) {
-       model_print("deserializing ...\n");
+       model_print("deserializing %s ...\n", file);
        Deserializer deserializer(file);
        return deserializer.deserialize();
 }