main: always ensure defaults when printing
[c11tester.git] / main.cc
diff --git a/main.cc b/main.cc
index fc1b277..8a17a18 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"