From f91bb12f0eed86ca52e61754f9be9d8528706a4f Mon Sep 17 00:00:00 2001
From: Jakob Rath <git@jakobrath.eu>
Date: Wed, 25 Jan 2023 12:30:27 +0100
Subject: [PATCH] Add warning to not trust the unsat cores yet

---
 src/math/polysat/solver.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/math/polysat/solver.cpp b/src/math/polysat/solver.cpp
index ee7163a8a..8e9d46cba 100644
--- a/src/math/polysat/solver.cpp
+++ b/src/math/polysat/solver.cpp
@@ -1311,6 +1311,7 @@ namespace polysat {
     }
 
     void solver::unsat_core(dependency_vector& deps) {
+        verbose_stream() << "WARNING: unsat_core requested but dependency tracking in polysat is TODO\n";
         deps.reset();
         LOG("conflict" << m_conflict);
         for (auto c : m_conflict) {