From ca0a82952fa551668d53583eedd5b27a60c55c45 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 25 Aug 2022 16:15:34 -0700
Subject: [PATCH] add function pointer to class to see how MacOs build reacts

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

diff --git a/src/sat/sat_drat.h b/src/sat/sat_drat.h
index 04c639b07..046f0bbc9 100644
--- 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;