Adding QF_SAT to SMT parsers

[cvc5.git] / src / parser / smt / smt.h

diff --git a/src/parser/smt/smt.h b/src/parser/smt/smt.h
index fa20382ffd8a8094b9793c410d0dc4af8a70bade..7df25749a784fb0b11e907433a57df5f2c077754 100644 (file)
--- a/src/parser/smt/smt.h
+++ b/src/parser/smt/smt.h
@@ -47,6 +47,7 @@ public:
     QF_LRA,
     QF_NIA,
     QF_RDL,
+    QF_SAT,
     QF_UF,
     QF_UFIDL
   };