Merge branch 'master' into pldi13

[c11tester.git] / main.cc

diff --git a/main.cc b/main.cc
index 635b8da70bc213e3db6524c964e78301b1b28ebf..e8d4f9af356f4ac6a59ab21f69fc26d6bd2d12bb 100644 (file)
--- a/main.cc
+++ b/main.cc
@@ -23,6 +23,9 @@ static void param_defaults(struct model_params * params) {
 }
 
 static void print_usage(struct model_params *params) {
+       /* Reset defaults before printing */
+       param_defaults(params);
+
        printf(
 "Usage: <program name> [MC_OPTIONS] -- [PROGRAM ARGUMENTS]\n"
 "\n"