From 045fef35ed379628a65c5bf325270bd8518b05de Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 11 Dec 2018 09:35:27 -0800
Subject: [PATCH] fix build break

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/nlsat/nlsat_solver.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/nlsat/nlsat_solver.cpp b/src/nlsat/nlsat_solver.cpp
index 882025024..6ea764a0a 100644
--- a/src/nlsat/nlsat_solver.cpp
+++ b/src/nlsat/nlsat_solver.cpp
@@ -231,6 +231,9 @@ namespace nlsat {
         }
 
         void clear() {
+            m_explain.reset();
+            m_lemma.reset();
+            m_lazy_clause.reset();
             undo_until_size(0);
             del_clauses();
             del_unref_atoms();