From 74c61f49b4fbdcc4920a62253eaed0c6cac26aa0 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 23 Aug 2022 20:20:51 -0700
Subject: [PATCH] move std::function to header of sat-drat - alignment?

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/sat/sat_drat.cpp | 1 +
 src/sat/sat_drat.h   | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/sat/sat_drat.cpp b/src/sat/sat_drat.cpp
index b63b84e2e..0130676db 100644
--- 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
index 838b0879a..d48833099 100644
--- 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);