fix up serialization a bit more
[satune.git] / src / Test / deserializerun.cc
index ef6e9db..d2c591a 100644 (file)
@@ -25,7 +25,7 @@ int main(int argc, char **argv) {
        myfile.close();
        //serialize out the tuner we used
        snprintf(buffer, sizeof(buffer), "%sused", argv[3]);
-       tuner->serialize(buffer);
+       tuner->serializeUsed(buffer);
 
        delete solver;
        return 0;