From 1f0d162b7fc4ebd368bdaf159d3a414f33f0a334 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 30 Jun 2019 00:54:48 +0300 Subject: [PATCH] fix segfault #2360 Signed-off-by: Nikolaj Bjorner --- src/smt/theory_seq.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/smt/theory_seq.cpp b/src/smt/theory_seq.cpp index 427e28c62..efd074f69 100644 --- a/src/smt/theory_seq.cpp +++ b/src/smt/theory_seq.cpp @@ -5964,7 +5964,7 @@ void theory_seq::add_lt_axiom(expr* n) { */ void theory_seq::add_le_axiom(expr* n) { expr* e1 = nullptr, *e2 = nullptr; - VERIFY(m_util.str.is_lt(n, e1, e2)); + VERIFY(m_util.str.is_le(n, e1, e2)); literal lt = mk_literal(m_util.str.mk_lex_lt(e1, e2)); literal le = mk_literal(n); literal eq = mk_eq(e1, e2, false);