mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-19 10:52:02 +00:00
Code Activity

build fixes

Browse source
This commit is contained in:
Nikolaj Bjorner 2023-07-13 09:25:20 -07:00
parent b909b87acc
commit 3e58f0cff1
1 changed files with 4 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/ast/polymorphism_util.cpp
View file

@ -283,8 +283,10 @@ namespace polymorphism {
vector<parameter> params; vector<parameter> params;
for (unsigned i = 0; i < s->get_num_parameters(); ++i) { for (unsigned i = 0; i < s->get_num_parameters(); ++i) {
parameter p = s->get_parameter(i); parameter p = s->get_parameter(i);
if (p.is_ast() && is_sort(p.get_ast())) if (p.is_ast() && is_sort(p.get_ast())) {
params.push_back(parameter(fresh(to_sort(p.get_ast())))); sort_ref fs = fresh(to_sort(p.get_ast()));
params.push_back(parameter(fs.get()));
}
else else
params.push_back(p); params.push_back(p);
} }