From 00d35c2777d628d5cc71b3777023d9c302ec9f02 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 28 Apr 2020 15:56:50 -0700 Subject: [PATCH] initialization order --- src/ast/value_generator.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/ast/value_generator.cpp b/src/ast/value_generator.cpp index a132154b9..8b17c84cb 100644 --- a/src/ast/value_generator.cpp +++ b/src/ast/value_generator.cpp @@ -207,7 +207,7 @@ class seq_value_generator : public value_generator_core { value_generator& g; seq_util seq; 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 { return seq.get_family_id(); @@ -256,7 +256,7 @@ class array_value_generator : public value_generator_core { value_generator& g; array_util a; 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 { return a.get_family_id();