diff options
| author | Morgan Deters <mdeters@gmail.com> | 2009-12-03 14:59:30 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2009-12-03 14:59:30 +0000 |
| commit | 7fb54afe126e5045fc6c5553c1aff3c3f73509aa (patch) | |
| tree | 37f4f23af0eccd6c9615a5af9b2d219e305d1f78 /src/main/getopt.cpp | |
| parent | bde1a14afc211c8f0f0521bb91feb562eaa9f9ea (diff) | |
parsing/expr/command/result/various other fixes
Diffstat (limited to 'src/main/getopt.cpp')
| -rw-r--r-- | src/main/getopt.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/getopt.cpp b/src/main/getopt.cpp index 5af3b5d21..f60dd6e24 100644 --- a/src/main/getopt.cpp +++ b/src/main/getopt.cpp @@ -68,7 +68,7 @@ int parseOptions(int argc, char** argv, CVC4::Options* opts) throw(Exception*) { progName = x + 1; opts->binary_name = string(progName); - while((c = getopt_long(argc, argv, "+:hVvL:", cmdlineOptions, NULL)) != -1) { + while((c = getopt_long(argc, argv, "+:hVvqL:", cmdlineOptions, NULL)) != -1) { switch(c) { case 'h': |