From 44a2dd864ff69ffc63af9d80dff9e7c514d9fcae Mon Sep 17 00:00:00 2001 From: George Plotnikov Date: Fri, 23 Sep 2022 20:36:57 +0500 Subject: [PATCH] Update CVC4::BitVector ctor call --- libsmtutil/CVC4Interface.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/libsmtutil/CVC4Interface.cpp b/libsmtutil/CVC4Interface.cpp index ff356c025..3c047782a 100644 --- a/libsmtutil/CVC4Interface.cpp +++ b/libsmtutil/CVC4Interface.cpp @@ -239,7 +239,7 @@ CVC4::Expr CVC4Interface::toCVC4Expr(Expression const& _expr) m_context.mkExpr( CVC4::kind::EQUAL, m_context.mkExpr(CVC4::kind::BITVECTOR_EXTRACT, extractOp, arguments[0]), - m_context.mkConst(CVC4::BitVector(1, size_t(0))) + m_context.mkConst(CVC4::BitVector(1, uint64_t{0})) ), nat, m_context.mkExpr(