towards supporting scanalysis...

[model-checker.git] / main.cc

diff --git a/main.cc b/main.cc
index fa7075408f7d16c8bf92a00abfb13b0e0c878d5d..815a382360d5ed87763fe64e5bdf497cdeb243ae 100644 (file)
--- 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) {