#5778

Z3Prover · Mar 21, 2022 · 4b14192 · 4b14192
1 parent 9011100
commit 4b14192
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/sat/smt/q_solver.cpp b/src/sat/smt/q_solver.cpp
@@ -262,6 +262,8 @@ namespace q {
                 m_expanded.push_back(r);
                 return true;
             }
+            if (r == q)
+                return false;
             q = to_quantifier(r);
         }
         if (is_forall(q))