mirror of
https://github.com/Z3Prover/z3
synced 2025-07-12 07:26:38 +00:00
fix type on exception message
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
c7591e3c99
commit
996c0f0666
1 changed files with 1 additions and 1 deletions
|
@ -85,7 +85,7 @@ struct enum2bv_rewriter::imp {
|
||||||
|
|
||||||
void throw_non_fd(expr* e) {
|
void throw_non_fd(expr* e) {
|
||||||
std::stringstream strm;
|
std::stringstream strm;
|
||||||
strm << "unabled nested data-type expression " << mk_pp(e, m);
|
strm << "unable to handle nested data-type expression " << mk_pp(e, m);
|
||||||
throw rewriter_exception(strm.str().c_str());
|
throw rewriter_exception(strm.str().c_str());
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue