From: Clark Barrett <barrett@cs.nyu.edu>
Date: Sat, 28 May 2016 00:43:40 +0000 (-0700)
Subject: Removing check that is no longer valid.
X-Git-Tag: cvc5-1.0.0~6049^2~24
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=cfef2630fbb7307ed0394495ffc07d732bb517b4;p=cvc5.git

Removing check that is no longer valid.
---

diff --git a/src/main/portfolio_util.cpp b/src/main/portfolio_util.cpp
index 03827a917..8e38eb528 100644
--- a/src/main/portfolio_util.cpp
+++ b/src/main/portfolio_util.cpp
@@ -98,12 +98,6 @@ void parseThreadSpecificOptions(OptionsList& threadOptions, const Options& opts)
           ss << optid << ": " << e.getMessage();
           throw OptionException(ss.str());
         }
-        if(optind != targc) {
-          stringstream ss;
-          ss << "unused argument `" << targv[optind]
-             << "' in thread configuration " << optid << " !";
-          throw OptionException(ss.str());
-        }
         if(tOpts.getThreads() != numThreads ||
            tOpts.getThreadArgv() != opts.getThreadArgv()) {
           stringstream ss;