From 2a72faf15e5d60cc1808f254ff81cbc2ce6f358c Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 26 Mar 2026 08:00:48 -0700
Subject: [PATCH] make sure conflict literal is negated

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/seq/seq_nielsen.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/smt/seq/seq_nielsen.cpp b/src/smt/seq/seq_nielsen.cpp
index 0819e5d88..7c8f51155 100644
--- a/src/smt/seq/seq_nielsen.cpp
+++ b/src/smt/seq/seq_nielsen.cpp
@@ -255,7 +255,7 @@ namespace seq {
         if (m_graph.m_literal_if_false) {
             auto lit = m_graph.m_literal_if_false(c.fml);
             if (lit != sat::null_literal)
-                m_conflict_literal = lit;
+                m_conflict_literal = ~lit;
         }
     }