diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-04-09 11:18:18 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-04-09 17:46:21 -0400 |
| commit | ec4d1e3753434f5d34a22e653dace14b87557aaf (patch) | |
| tree | 9cfa4fc484dd5e27373277751887e50558a458df /src/options | |
| parent | e93d0be650b9f349fe8be3a56ce2fc7cb20fddf0 (diff) | |
Minor change to better support parameterized partial/total kinds (for upcoming datatypes work).
Diffstat (limited to 'src/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 |