From e7ec842cf5baaaec17abc14cdc2d549563dc4596 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 16 Mar 2020 12:14:19 -0700
Subject: [PATCH] fix #3348

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/sat/tactic/sat_tactic.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/sat/tactic/sat_tactic.cpp b/src/sat/tactic/sat_tactic.cpp
index c14e46578..09eaaa38f 100644
--- a/src/sat/tactic/sat_tactic.cpp
+++ b/src/sat/tactic/sat_tactic.cpp
@@ -36,7 +36,6 @@ class sat_tactic : public tactic {
             m(_m),
             m_solver(alloc(sat::solver, p, m.limit())),
             m_params(p) {
-            SASSERT(!m.proofs_enabled());
             updt_params(p);
         }