From: Morgan Deters <mdeters@gmail.com>
Date: Wed, 8 Aug 2012 22:20:39 +0000 (+0000)
Subject: Fix --no-checking option.
X-Git-Tag: cvc5-1.0.0~7878
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2a8c2250a4cf3cd2c5d806678c31a1c98f72323d;p=cvc5.git

Fix --no-checking option.
---

diff --git a/src/options/options_template.cpp b/src/options/options_template.cpp
index 9b9b711ad..a3fc91c95 100644
--- 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;