From d422f7b067e4ba22ddb6b7f5e0fe57b1d4e0d782 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 13 Jan 2024 17:14:41 -0800 Subject: [PATCH] reorder fields Signed-off-by: Nikolaj Bjorner --- src/ast/euf/euf_ac_plugin.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/euf/euf_ac_plugin.cpp b/src/ast/euf/euf_ac_plugin.cpp index d06db029e..b49975ca4 100644 --- a/src/ast/euf/euf_ac_plugin.cpp +++ b/src/ast/euf/euf_ac_plugin.cpp @@ -80,7 +80,7 @@ namespace euf { } ac_plugin::ac_plugin(egraph& g, func_decl* f) : - plugin(g), m_decl(f), m_fid(f->get_family_id()), + plugin(g), m_fid(f->get_family_id()), m_decl(f), m_dep_manager(get_region()), m_hash(*this), m_eq(*this), m_monomial_table(m_hash, m_eq) {