Changing getTearDownIncremental() to return the type of options::tearDownIncremental.

2 files changed, 2 insertions, 2 deletions

diff --git a/src/options/options.h b/src/options/options.h
index 33bd94e46..3551d82ae 100644
--- a/src/options/options.h
+++ b/src/options/options.h
@@ -222,7 +222,7 @@ public:
   bool getStatsEveryQuery() const;
   bool getStatsHideZeros() const;
   bool getStrictParsing() const;
-  bool getTearDownIncremental() const;
+  int getTearDownIncremental() const;
   bool getVersion() const;
   bool getWaitToJoin() const;
   const std::string& getForceLogicString() const;
diff --git a/src/options/options_public_functions.cpp b/src/options/options_public_functions.cpp
index 8f3a63175..111b5482a 100644
--- a/src/options/options_public_functions.cpp
+++ b/src/options/options_public_functions.cpp
@@ -159,7 +159,7 @@ bool Options::getStrictParsing() const{
   return (*this)[options::strictParsing];
 }
 
-bool Options::getTearDownIncremental() const{
+int Options::getTearDownIncremental() const{
   return (*this)[options::tearDownIncremental];
 }