mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-08 15:13:23 +00:00
Code Activity

make error message more descriptive

Browse source
This commit is contained in:
Nikolaj Bjorner 2022-09-11 05:43:33 -07:00
parent 6df711254b
commit 3900c03b72
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/ast/array_decl_plugin.cpp
View file

@ -122,7 +122,7 @@ bool array_decl_plugin::is_array_sort(sort* s) const {
func_decl * array_decl_plugin::mk_const(sort * s, unsigned arity, sort * const * domain) { func_decl * array_decl_plugin::mk_const(sort * s, unsigned arity, sort * const * domain) {
if (arity != 1) { if (arity != 1) {
m_manager->raise_exception("invalid const array definition, invalid domain size"); m_manager->raise_exception("invalid const array definition, expected one argument");
return nullptr; return nullptr;
} }
if (!is_array_sort(s)) { if (!is_array_sort(s)) {