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);
         }