From 1053032a81ea54847bfef944d3c5481de8a2046e Mon Sep 17 00:00:00 2001 From: Alberto Gonzalez Date: Tue, 19 May 2020 16:13:44 +0000 Subject: [PATCH] smtbmc: Fix typo in error message. Co-Authored-By: N. Engelhardt --- backends/smt2/smtbmc.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/backends/smt2/smtbmc.py b/backends/smt2/smtbmc.py index f1f55be1c..cc3ebb129 100644 --- a/backends/smt2/smtbmc.py +++ b/backends/smt2/smtbmc.py @@ -1511,7 +1511,7 @@ else: # not tempind, covermode smt_assert_consequent(get_constr_expr(constr_assumes, i)) print_msg("Re-solving with appended steps..") if smt_check_sat() == "unsat": - print("%s Cannot appended steps without violating assumptions!" % smt.timestamp()) + print("%s Cannot append steps without violating assumptions!" % smt.timestamp()) retstatus = "FAILED" break print_anyconsts(step) -- 2.30.2