From: root <root@plrg-1.ics.uci.edu>
Date: Tue, 31 Dec 2019 06:25:00 +0000 (-0800)
Subject: bug fix
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=06e698d4ca55451771b8cfcd71f03088447464f7;p=c11tester.git

bug fix
---

diff --git a/main.cc b/main.cc
index f445e08f..b0931f75 100644
--- a/main.cc
+++ b/main.cc
@@ -88,7 +88,7 @@ bool install_plugin(char * name) {
 }
 
 void parse_options(struct model_params *params) {
-	const char *shortopts = "hrnt:o:x:v:m:f::";
+	const char *shortopts = "hrnt:o:x:v:m:f:";
 	const struct option longopts[] = {
 		{"help", no_argument, NULL, 'h'},
 		{"removevisible", no_argument, NULL, 'r'},