3 files changed, 4 insertions, 18 deletions
diff --git a/src/options/base_options.toml b/src/options/base_options.toml
index 17050cd06..9c02a51d1 100644
--- a/src/options/base_options.toml
+++ b/src/options/base_options.toml
@@ -104,14 +104,14 @@ header = "options/base_options.h"
   help       = "print expert (non-public) statistics as well"
 
 [[option]]
-  name       = "statisticsUnset"
-  smt_name   = "stats-unset"
-  long       = "stats-unset"
+  name       = "statisticsAll"
+  smt_name   = "stats-all"
+  long       = "stats-all"
   category   = "expert"
   type       = "bool"
   predicates = ["statsEnabledBuild"]
   read_only  = true
-  help       = "print unset statistics as well"
+  help       = "print unchanged (defaulted) statistics as well"
 
 [[option]]
   name       = "statisticsEveryQuery"
@@ -125,15 +125,6 @@ header = "options/base_options.h"
   help       = "in incremental mode, print stats after every satisfiability or validity query"
 
 [[option]]
-  name       = "statsHideZeros"
-  category   = "regular"
-  long       = "stats-hide-zeros"
-  type       = "bool"
-  default    = "false"
-  read_only  = true
-  help       = "hide statistics which are zero"
-
-[[option]]
   name       = "parseOnly"
   category   = "regular"
   long       = "parse-only"
diff --git a/src/options/options.h b/src/options/options.h
index 804110f1d..79b00de30 100644
--- a/src/options/options.h
+++ b/src/options/options.h
@@ -171,7 +171,6 @@ public:
   bool getSemanticChecks() const;
   bool getStatistics() const;
   bool getStatsEveryQuery() const;
-  bool getStatsHideZeros() const;
   bool getStrictParsing() const;
   int getTearDownIncremental() const;
   unsigned long getCumulativeTimeLimit() const;
diff --git a/src/options/options_public_functions.cpp b/src/options/options_public_functions.cpp
index 3d9c2b669..f70c1ce3b 100644
--- a/src/options/options_public_functions.cpp
+++ b/src/options/options_public_functions.cpp
@@ -133,10 +133,6 @@ bool Options::getStatsEveryQuery() const{
   return (*this)[options::statisticsEveryQuery];
 }
 
-bool Options::getStatsHideZeros() const{
-  return (*this)[options::statsHideZeros];
-}
-
 bool Options::getStrictParsing() const{
   return (*this)[options::strictParsing];
 }