From 5489ef01beb91e256e343e2fd2d734b48b42ad6e Mon Sep 17 00:00:00 2001
From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Thu, 20 Feb 2020 14:49:02 -0600
Subject: Remove front-end support for Chain (#3767)

---
 src/parser/smt2/smt2.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/parser/smt2/smt2.cpp')

diff --git a/src/parser/smt2/smt2.cpp b/src/parser/smt2/smt2.cpp
index f3b66643a..11dedb259 100644
--- a/src/parser/smt2/smt2.cpp
+++ b/src/parser/smt2/smt2.cpp
@@ -1887,7 +1887,9 @@ Expr Smt2::applyParseOp(ParseOp& p, std::vector<Expr>& args)
                || kind == kind::LEQ || kind == kind::GEQ)
       {
         /* "chainable", but CVC4 internally only supports 2 args */
-        return em->mkExpr(em->mkConst(Chain(kind)), args);
+        api::Term ret =
+            mkChain(intToExtKind(kind), api::exprVectorToTerms(args));
+        return ret.getExpr();
       }
     }
 
-- 
cgit v1.2.3