X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FTest%2Fdeserializerun.cc;h=d2c591a50b8e222b79964a4dffe54f4d18ea949c;hp=ef6e9db5084414a8fd7910282a13b2a6263b26f2;hb=4b6c69fed4ff60a6652b3f9fd156beb78c57cec0;hpb=298685f6683d3a323968cb22810b134472dacdfa diff --git a/src/Test/deserializerun.cc b/src/Test/deserializerun.cc index ef6e9db..d2c591a 100644 --- a/src/Test/deserializerun.cc +++ b/src/Test/deserializerun.cc @@ -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;