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) {}