mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-27 00:18:45 +00:00
Code Activity

fix uninitialized variable

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2018-05-25 13:55:39 -07:00 • committed by Arie Gurfinkel
parent e6401908a5
commit aa8dac2583
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/qe/qe_mbp.cpp
View file

@ -471,6 +471,7 @@ public:
add_plugin(alloc(arith_project_plugin, m)); add_plugin(alloc(arith_project_plugin, m));
add_plugin(alloc(datatype_project_plugin, m)); add_plugin(alloc(datatype_project_plugin, m));
add_plugin(alloc(array_project_plugin, m)); add_plugin(alloc(array_project_plugin, m));
updt_params(p);
} }
~impl() { ~impl() {