diff options
| author | Clark Barrett <barrett@cs.nyu.edu> | 2016-05-27 17:43:40 -0700 |
|---|---|---|
| committer | Clark Barrett <barrett@cs.nyu.edu> | 2016-05-27 17:43:40 -0700 |
| commit | cfef2630fbb7307ed0394495ffc07d732bb517b4 (patch) | |
| tree | 400ec5acc31c500eac2c5b750b3c19a133e9418a | |
| parent | 538f4b668b19bd87f855ab736fb0423758cd980a (diff) | |
Removing check that is no longer valid.
| -rw-r--r-- | src/main/portfolio_util.cpp | 6 |
1 files changed, 0 insertions, 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; |