From: Alberto Gonzalez <boqwxp@airmail.cc>
Date: Tue, 19 May 2020 16:13:44 +0000 (+0000)
Subject: smtbmc: Fix typo in error message.
X-Git-Tag: working-ls180~547^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1053032a81ea54847bfef944d3c5481de8a2046e;p=yosys.git

smtbmc: Fix typo in error message.

Co-Authored-By: N. Engelhardt <nak@symbioticeda.com>
---

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)