diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2014-10-16 22:16:49 +0200 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2014-10-16 22:16:55 +0200 |
commit | 9d7378688486cb0dbad207482932dfb4b5d91f95 (patch) | |
tree | 11762aa3a877de82f3b578699c40ba37016efb79 /src/theory/quantifiers/modes.h | |
parent | 6d279143db69b153815165c752eae1432538ec2e (diff) |
Make --user-pat=trust default. Fix a few warnings found by Morgan. Minor changes to options.
Diffstat (limited to 'src/theory/quantifiers/modes.h')
-rw-r--r-- | src/theory/quantifiers/modes.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/theory/quantifiers/modes.h b/src/theory/quantifiers/modes.h index 53c04cfe8..53842b373 100644 --- a/src/theory/quantifiers/modes.h +++ b/src/theory/quantifiers/modes.h @@ -99,9 +99,9 @@ typedef enum { } QcfMode; typedef enum { - /** default, use but do not trust */ - USER_PAT_MODE_DEFAULT, - /** if patterns are supplied for a quantifier, use only those */ + /** use but do not trust */ + USER_PAT_MODE_USE, + /** default, if patterns are supplied for a quantifier, use only those */ USER_PAT_MODE_TRUST, /** ignore user patterns */ USER_PAT_MODE_IGNORE, |