diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-02-26 00:08:20 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-02-26 00:08:20 -0800 |
commit | 50c31e61ab240ccd551a0aea732f8b9a88d7fb32 (patch) | |
tree | 30531d1f4813ed399209d198ca1eb75ac6f9dc30 /src/options/options.h | |
parent | b28ff31b6713791f27b4860f439aaa3f63aab9d7 (diff) |
Remove portfolio leftovers (#3821)
Commit 1c09572e0e2031519a103caa2a4af0d9bd34a9c5 removed the portfolio
build but there were some leftovers. This commit removes them.
Diffstat (limited to 'src/options/options.h')
-rw-r--r-- | src/options/options.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/options/options.h b/src/options/options.h index 1493ceac9..fcf99134d 100644 --- a/src/options/options.h +++ b/src/options/options.h @@ -205,11 +205,9 @@ public: bool getDumpSynth() const; bool getDumpUnsatCores() const; bool getEarlyExit() const; - bool getFallbackSequential() const; bool getFilesystemAccess() const; bool getForceNoLimitCpuWhileDump() const; bool getHelp() const; - bool getIncrementalParallel() const; bool getIncrementalSolving() const; bool getInteractive() const; bool getInteractivePrompt() const; @@ -226,7 +224,6 @@ public: bool getStrictParsing() const; int getTearDownIncremental() const; bool getVersion() const; - bool getWaitToJoin() const; const std::string& getForceLogicString() const; int getVerbosity() const; std::istream* getIn() const; |