Support get-abduct smt2 command (#3122)

[cvc5.git] / src / parser / smt2 / smt2.cpp

diff --git a/src/parser/smt2/smt2.cpp b/src/parser/smt2/smt2.cpp
index 278f2bdfd1d529805970a17f96124a247d9939d6..752bf58b403850bbb6ffe6764163c314914df378 100644 (file)
--- a/src/parser/smt2/smt2.cpp
+++ b/src/parser/smt2/smt2.cpp
@@ -674,11 +674,8 @@ Command* Smt2::setLogic(std::string name, bool fromCommand)
     }
     // get unlocked copy, modify, copy and relock
     LogicInfo log(d_logic.getUnlockedCopy());
-    log.enableQuantifiers();
-    log.enableTheory(theory::THEORY_UF);
-    log.enableTheory(theory::THEORY_DATATYPES);
-    log.enableIntegers();
-    log.enableHigherOrder();
+    // enable everything needed for sygus
+    log.enableSygus();
     d_logic = log;
     d_logic.lock();
   }