diff options
Diffstat (limited to 'src/parser/smt/smt.h')
| -rw-r--r-- | src/parser/smt/smt.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/parser/smt/smt.h b/src/parser/smt/smt.h index 62bb24336..3a089641f 100644 --- a/src/parser/smt/smt.h +++ b/src/parser/smt/smt.h @@ -40,6 +40,7 @@ public: AUFLIRA, AUFNIRA, LRA, + QF_ABV, QF_AUFBV, QF_AUFLIA, QF_AUFLIRA, |