diff --git a/src/sat/sat_solver.cpp b/src/sat/sat_solver.cpp
index 4c0318c22..0ecda2808 100644
--- a/src/sat/sat_solver.cpp
+++ b/src/sat/sat_solver.cpp
@@ -881,7 +881,7 @@ namespace sat {
 
     bool solver::check_inconsistent() {
         if (inconsistent()) {
-            if (tracking_assumptions() || !m_user_scope_literals.empty()) 
+            if (tracking_assumptions())
                 resolve_conflict();
             return true;
         }