From: Morgan Deters <mdeters@gmail.com>
Date: Tue, 6 Jul 2010 19:32:50 +0000 (+0000)
Subject: fix crash on command line parsing
X-Git-Tag: cvc5-1.0.0~8937
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1369cc6954b49ea3a477d46e726dd1afd1f14a73;p=cvc5.git

fix crash on command line parsing
---

diff --git a/src/main/getopt.cpp b/src/main/getopt.cpp
index e050a0dfb..2b36a06d2 100644
--- a/src/main/getopt.cpp
+++ b/src/main/getopt.cpp
@@ -111,10 +111,11 @@ static struct option cmdlineOptions[] = {
   { "about"      , no_argument      , NULL, 'V'         },
   { "lang"       , required_argument, NULL, 'L'         },
   { "parse-only" , no_argument      , NULL, PARSE_ONLY  },
-  { "mmap",        no_argument      , NULL, USE_MMAP    },
+  { "mmap"       , no_argument      , NULL, USE_MMAP    },
   { "strict-parsing", no_argument   , NULL, STRICT_PARSING },
   { "default-expr-depth", required_argument, NULL, DEFAULT_EXPR_DEPTH },
   { "print-expr-types", no_argument , NULL, PRINT_EXPR_TYPES },
+  { NULL         , no_argument      , NULL, '\0'        }
 };/* if you add things to the above, please remember to update usage.h! */
 
 /** Full argv[0] */