diff options
Diffstat (limited to 'src/options/options.h')
| -rw-r--r-- | src/options/options.h | 1 |
1 files changed, 0 insertions, 1 deletions
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; |