From efffd449460db906b2865f8aff769ef0a62a380f Mon Sep 17 00:00:00 2001
From: Daniel Kroening <dkr@amazon.com>
Date: Sun, 24 Nov 2024 09:25:02 +0000
Subject: [PATCH] SMT2: fix exception thrown when given unsupported expression

---
 src/solvers/smt2/smt2_conv.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/solvers/smt2/smt2_conv.cpp b/src/solvers/smt2/smt2_conv.cpp
index 2402bb8ca92..fcb9256abaa 100644
--- a/src/solvers/smt2/smt2_conv.cpp
+++ b/src/solvers/smt2/smt2_conv.cpp
@@ -2483,7 +2483,8 @@ void smt2_convt::convert_expr(const exprt &expr)
   else
     INVARIANT_WITH_DIAGNOSTICS(
       false,
-      "smt2_convt::convert_expr should not be applied to unsupported type",
+      "smt2_convt::convert_expr should not be applied to unsupported "
+      "expression",
       expr.id_string());
 }