1 files changed, 0 insertions, 12 deletions
diff --git a/src/options/options_public_functions.cpp b/src/options/options_public_functions.cpp
index 6548150aa..a556f2152 100644
--- a/src/options/options_public_functions.cpp
+++ b/src/options/options_public_functions.cpp
@@ -82,10 +82,6 @@ bool Options::getEarlyExit() const{
   return (*this)[options::earlyExit];
 }
 
-bool Options::getFallbackSequential() const{
-  return (*this)[options::fallbackSequential];
-}
-
 bool Options::getFilesystemAccess() const{
   return (*this)[options::filesystemAccess];
 }
@@ -98,10 +94,6 @@ bool Options::getHelp() const{
   return (*this)[options::help];
 }
 
-bool Options::getIncrementalParallel() const{
-  return (*this)[options::incrementalParallel];
-}
-
 bool Options::getIncrementalSolving() const{
   return (*this)[options::incrementalSolving];
 }
@@ -166,10 +158,6 @@ bool Options::getVersion() const{
   return (*this)[options::version];
 }
 
-bool Options::getWaitToJoin() const{
-  return (*this)[options::waitToJoin];
-}
-
 const std::string& Options::getForceLogicString() const{
   return (*this)[options::forceLogicString];
 }