From 6c2772c9dacbfdae07bed47cd85b7c4d974c081b Mon Sep 17 00:00:00 2001
From: Jakob Rath <git@jakobrath.eu>
Date: Fri, 21 Jul 2023 16:28:48 +0200
Subject: [PATCH] compile

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

diff --git a/src/math/polysat/slicing.cpp b/src/math/polysat/slicing.cpp
index cecfb95cc..04b73ebc9 100644
--- a/src/math/polysat/slicing.cpp
+++ b/src/math/polysat/slicing.cpp
@@ -553,6 +553,7 @@ namespace polysat {
 
     clause_ref slicing::conflict_clause() {
         NOT_IMPLEMENTED_YET(); // TODO: call explain and build clause as described in notes at the top
+        return {};
     }
 
     void slicing::egraph_on_propagate(enode* lit, enode* ante) {