mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-28 11:25:51 +00:00
Code Activity

propagate parent default not add parent default)

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2022-01-01 20:37:26 -08:00
parent 8245935d41
commit 5cd1fe31fd
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/sat/smt/array_internalize.cpp
View file

@ -164,7 +164,7 @@ namespace array {
case OP_CONST_ARRAY: case OP_CONST_ARRAY:
case OP_AS_ARRAY: case OP_AS_ARRAY:
set_prop_upward(find(n)); set_prop_upward(find(n));
add_parent_default(find(n), n); propagate_parent_default(find(n));
break; break;
case OP_ARRAY_EXT: case OP_ARRAY_EXT:
break; break;