diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py index 5fc3ab5a424..2bc7daddc36 100644 --- a/backends/smt2/smtio.py +++ b/backends/smt2/smtio.py @@ -1208,7 +1208,7 @@ def handle(self, o, a): def helpmsg(self): return """ -s - set SMT solver: z3, yices, boolector, bitwuzla, cvc4, mathsat, dummy + set SMT solver: z3, yices, boolector, bitwuzla, cvc4, cvc5, mathsat, dummy default: yices -S