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

[cvc5.git] / src / options / options.h

diff --git a/src/options/options.h b/src/options/options.h
index 33bd94e46d6f39908484f70e001be87cf6b7d158..3551d82ae03fbc428f21ac304aaea70897443021 100644 (file)
--- 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;