1 files changed, 4 insertions, 2 deletions
diff --git a/src/parser/smt2/smt2.cpp b/src/parser/smt2/smt2.cpp
index 0fc3678c7..a72b0ac6e 100644
--- a/src/parser/smt2/smt2.cpp
+++ b/src/parser/smt2/smt2.cpp
@@ -381,14 +381,16 @@ void Smt2::setLogic(std::string name) {
   } else {
     d_logic = name;
   }
-  
-  // if sygus is enabled, we must enable UF, datatypes and integer arithmetic
+
+  // if sygus is enabled, we must enable UF, datatypes, integer arithmetic and
+  // higher-order
   if(sygus()) {
     // get unlocked copy, modify, copy and relock
     LogicInfo log(d_logic.getUnlockedCopy());
     log.enableTheory(theory::THEORY_UF);
     log.enableTheory(theory::THEORY_DATATYPES);
     log.enableIntegers();
+    log.enableHigherOrder();
     d_logic = log;
     d_logic.lock();
   }