From 48e996241eadcf31f92ac0181b4278f9b7ddf5cf Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 20 Sep 2019 10:17:27 -0700 Subject: [PATCH] fix initialization order Signed-off-by: Nikolaj Bjorner --- src/ast/seq_decl_plugin.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/seq_decl_plugin.h b/src/ast/seq_decl_plugin.h index 6b0a8047d..8ebf94905 100644 --- a/src/ast/seq_decl_plugin.h +++ b/src/ast/seq_decl_plugin.h @@ -347,8 +347,8 @@ public: }; class re { - ast_manager& m; seq_util& u; + ast_manager& m; family_id m_fid; public: re(seq_util& u): u(u), m(u.m), m_fid(u.m_fid) {}