diff options
Diffstat (limited to 'src/options/base_options')
| -rw-r--r-- | src/options/base_options | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/options/base_options b/src/options/base_options index dd4da0f31..f3ba38a6a 100644 --- a/src/options/base_options +++ b/src/options/base_options @@ -108,7 +108,7 @@ common-option statistics statistics --stats bool :predicate CVC4::smt::statsEnab undocumented-alias --statistics = --stats undocumented-alias --no-statistics = --no-stats option statsEveryQuery --stats-every-query bool :default false :link --stats - in incremental mode, print stats after every satisfiability or validity query + in incremental mode, print stats after every satisfiability or validity query undocumented-alias --statistics-every-query = --stats-every-query undocumented-alias --no-statistics-every-query = --no-stats-every-query |