X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=main.cc;h=815a382360d5ed87763fe64e5bdf497cdeb243ae;hb=9508fe09d2eeaaf7fbe7193d9cb81b3bc66316b5;hp=fa7075408f7d16c8bf92a00abfb13b0e0c878d5d;hpb=4541dc5155c69e168beedf3bd2a8f5ece0e0e65b;p=model-checker.git

diff --git a/main.cc b/main.cc
index fa70754..815a382 100644
--- a/main.cc
+++ b/main.cc
@@ -68,7 +68,7 @@ params->maxreads, params->maxfuturevalues, params->maxfuturedelay, params->expir
 
 static void parse_options(struct model_params *params, int argc, char **argv)
 {
-	const char *shortopts = "hymc:M:s:S:f:e:b:u:v";
+	const char *shortopts = "hycm:M:s:S:f:e:b:u:v";
 	int opt;
 	bool error = false;
 	while (!error && (opt = getopt(argc, argv, shortopts)) != -1) {