From cfef2630fbb7307ed0394495ffc07d732bb517b4 Mon Sep 17 00:00:00 2001
From: Clark Barrett <barrett@cs.nyu.edu>
Date: Fri, 27 May 2016 17:43:40 -0700
Subject: [PATCH] Removing check that is no longer valid.

---
 src/main/portfolio_util.cpp | 6 ------
 1 file changed, 6 deletions(-)

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;
-- 
2.30.2