1 files changed, 5 insertions, 0 deletions
diff --git a/src/sat/bsat/satSolver2.h b/src/sat/bsat/satSolver2.h
index bca9bc97..cba57638 100644
--- a/src/sat/bsat/satSolver2.h
+++ b/src/sat/bsat/satSolver2.h
@@ -212,6 +212,11 @@ static inline int sat_solver2_nclauses(sat_solver2* s)
     return (int)s->stats.clauses;
 }
 
+static inline int sat_solver2_nlearnts(sat_solver2* s)
+{
+    return (int)s->stats.learnts;
+}
+
 static inline int sat_solver2_nconflicts(sat_solver2* s)
 {
     return (int)s->stats.conflicts;