X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=main.cc;h=8a17a18e50d718324662e178f6496dec58fbbe00;hb=d1fab609e185bf89056da0f88030750d28bc9b32;hp=fc1b2779daa657ae6460293da49d29a5c95ec21d;hpb=e019c4b58edb829582d6a5689240b9e8e8908f05;p=model-checker.git

diff --git a/main.cc b/main.cc
index fc1b277..8a17a18 100644
--- 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"