add function pointer to class to see how MacOs build reacts

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Aug 25, 2022 · ca0a829 · ca0a829
1 parent 0d7b7a4
commit ca0a829
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/sat/sat_drat.h b/src/sat/sat_drat.h
@@ -73,7 +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;
+        std::function<void(unsigned, literal const*, status)> m_print_clause;
         svector<watched_clause>   m_watched_clauses;
         typedef svector<unsigned> watch;
         solver& s;