move std::function to header of sat-drat - alignment?

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Aug 24, 2022 · 74c61f4 · 74c61f4
1 parent c626358
commit 74c61f4
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/src/sat/sat_drat.cpp b/src/sat/sat_drat.cpp
@@ -35,6 +35,7 @@ namespace sat {
             if (s.get_config().m_drat_binary) 
                 std::swap(m_out, m_bout);            
         }
+        m_print_clause = nullptr;
     }
 
     drat::~drat() {

diff --git a/src/sat/sat_drat.h b/src/sat/sat_drat.h
@@ -73,6 +73,7 @@ namespace sat {
             watched_clause(clause* c, literal l1, literal l2):
                 m_clause(c), m_l1(l1), m_l2(l2) {}
         };
+        std::function<void(unsigned, literal const*, status)> m_print_clause;
         svector<watched_clause>   m_watched_clauses;
         typedef svector<unsigned> watch;
         solver& s;
@@ -92,7 +93,6 @@ namespace sat {
         bool                    m_trim = false;
         stats                   m_stats;
 
-        std::function<void(unsigned, literal const*, status)> m_print_clause;
 
         void dump_activity();
         void dump(unsigned n, literal const* c, status st);