From 555ac49023b9d0dd05fe2b18a670c5271fe1d0de Mon Sep 17 00:00:00 2001
From: Jakob Rath <git@jakobrath.eu>
Date: Fri, 1 Dec 2023 15:23:48 +0100
Subject: [PATCH] shortcut

---
 src/math/polysat/slicing.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/math/polysat/slicing.cpp b/src/math/polysat/slicing.cpp
index eb7da2ab4..04fe8c4fc 100644
--- a/src/math/polysat/slicing.cpp
+++ b/src/math/polysat/slicing.cpp
@@ -1525,6 +1525,9 @@ namespace polysat {
         SASSERT(m_marked_lits.empty());
         SASSERT(m_tmp_deps.empty());
 
+        if (v == x)
+            return;
+
         enode_vector& v_base = m_tmp4;
         SASSERT(v_base.empty());
         get_base(var2slice(v), v_base);