diff --git a/src/smt/smt_context.cpp b/src/smt/smt_context.cpp
index 6ec9b154a..c0a65cfb7 100644
--- a/src/smt/smt_context.cpp
+++ b/src/smt/smt_context.cpp
@@ -4148,7 +4148,8 @@ namespace smt {
                 }
                 else if (ok == FC_GIVEUP) {
                     f  = THEORY;
-                    m_incomplete_theories.push_back(th);
+                    if (!m_incomplete_theories.contains(th))
+                        m_incomplete_theories.push_back(th);
                 }
             }
             else {