SMT2: fix exception thrown when given unsupported expression

kroening · kroening · commit efffd449460d · 2024-11-24T09:25:49.000Z
diff --git 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());
 }
 

Original file line number	Diff line number	Diff line change
`@@ -2483,7 +2483,8 @@ void smt2_convt::convert_expr(const exprt &expr)`
`2483`	`2483`	`else`
`2484`	`2484`	`INVARIANT_WITH_DIAGNOSTICS(`
`2485`	`2485`	`false,`
`2486`		`- "smt2_convt::convert_expr should not be applied to unsupported type",`
	`2486`	`+ "smt2_convt::convert_expr should not be applied to unsupported "`
	`2487`	`+ "expression",`
`2487`	`2488`	`expr.id_string());`
`2488`	`2489`	`}`
`2489`	`2490`