diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2019-08-14 13:12:19 -0700 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-08-14 15:12:19 -0500 |
commit | 044891b406eb3ee143403ad8fecd7acb99d17ecb (patch) | |
tree | f90d35b378da21c2fe889149eb974709292af609 /src/options/options_public_functions.cpp | |
parent | 29639a7df6ddf105803431cc85888c9416af6af6 (diff) |
Remove option --continued-execution. (#3189)
Diffstat (limited to 'src/options/options_public_functions.cpp')
-rw-r--r-- | src/options/options_public_functions.cpp | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/options/options_public_functions.cpp b/src/options/options_public_functions.cpp index 39f2eb140..43b44b93e 100644 --- a/src/options/options_public_functions.cpp +++ b/src/options/options_public_functions.cpp @@ -54,10 +54,6 @@ bool Options::getCheckProofs() const{ return (*this)[options::checkProofs]; } -bool Options::getContinuedExecution() const{ - return (*this)[options::continuedExecution]; -} - bool Options::getDumpInstantiations() const{ return (*this)[options::dumpInstantiations]; } |