mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 21:38:44 +00:00
Code Activity

initialization order

Browse source
This commit is contained in:
Nikolaj Bjorner 2020-04-28 15:56:50 -07:00
parent a1928a2438
commit 00d35c2777
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/ast/value_generator.cpp
View file

@ -207,7 +207,7 @@ class seq_value_generator : public value_generator_core {
value_generator& g; value_generator& g;
seq_util seq; seq_util seq;
public: public:
seq_value_generator(value_generator& g, ast_manager& m): g(g), m(m), seq(m) {} seq_value_generator(value_generator& g, ast_manager& m): m(m), g(g), seq(m) {}
family_id get_fid() const override { family_id get_fid() const override {
return seq.get_family_id(); return seq.get_family_id();
@ -256,7 +256,7 @@ class array_value_generator : public value_generator_core {
value_generator& g; value_generator& g;
array_util a; array_util a;
public: public:
array_value_generator(value_generator& g, ast_manager& m): g(g), m(m), a(m) {} array_value_generator(value_generator& g, ast_manager& m): m(m), g(g), a(m) {}
family_id get_fid() const override { family_id get_fid() const override {
return a.get_family_id(); return a.get_family_id();