1 files changed, 3 insertions, 0 deletions
diff --git a/src/parser/smt/smt.h b/src/parser/smt/smt.h
index 3a089641f..1606d7bab 100644
--- a/src/parser/smt/smt.h
+++ b/src/parser/smt/smt.h
@@ -50,16 +50,19 @@ public:
     QF_LIA,
     QF_LRA,
     QF_NIA,
+    QF_NRA,
     QF_RDL,
     QF_SAT,
     QF_UF,
     QF_UFIDL,
+    QF_UFBV,
     QF_UFLIA,
     QF_UFNIA, // nonstandard
     QF_UFLRA,
     QF_UFLIRA, // nonstandard
     QF_UFNIRA, // nonstandard
     QF_UFNRA,
+    UFLRA,
     UFNIA
   };