diff 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, |