projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
02fb5a3
)
Fix --no-checking option.
author
Morgan Deters
<mdeters@gmail.com>
Wed, 8 Aug 2012 22:20:39 +0000
(22:20 +0000)
committer
Morgan Deters
<mdeters@gmail.com>
Wed, 8 Aug 2012 22:20:39 +0000
(22:20 +0000)
src/options/options_template.cpp
patch
|
blob
|
history
diff --git
a/src/options/options_template.cpp
b/src/options/options_template.cpp
index 9b9b711ad6c6c628e7b624e758bbbc0e7521f9d2..a3fc91c95d4ca71b58b48b0e68cb99a4d3195597 100644
(file)
--- a/
src/options/options_template.cpp
+++ b/
src/options/options_template.cpp
@@
-383,7
+383,7
@@
int Options::parseOptions(int argc, char* main_argv[]) throw(OptionException) {
Debug("preemptGetopt") << "in preempt code, c == " << c << " (`" << char(c) << "') optind == " << optind << std::endl;
if(optind >= extra_argc) {
Debug("preemptGetopt") << "-- no more preempt args" << std::endl;
- unsigned i =
0
;
+ unsigned i =
1
;
while(extra_argv[i] != NULL && extra_argv[i][0] != '\0') {
extra_argv[i][0] = '\0';
++i;