mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 13:28:47 +00:00
Code Activity

build fixes

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2017-09-03 15:19:55 -07:00
parent a887475e9f
commit ee4ae33ac4
1 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
src/ast/datatype_decl_plugin2.cpp
View file

@ -495,7 +495,10 @@ namespace datatype {
return param_size::size::mk_power(sz2, sz1); return param_size::size::mk_power(sz2, sz1);
} }
for (sort* p : params) { for (sort* p : params) {
if (s == p) return param_size::size::mk_param(sort_ref(s, m)); if (s == p) {
sort_ref sr(s, m);
return param_size::size::mk_param(sr);
}
} }
return param_size::size::mk_offset(s->get_num_elements()); return param_size::size::mk_offset(s->get_num_elements());
} }