From 25d1bca5839ccb14e4d1b8ea6c71c08677f7c990 Mon Sep 17 00:00:00 2001
From: Jakob Rath <git@jakobrath.eu>
Date: Mon, 23 Oct 2023 15:25:24 +0200
Subject: [PATCH] assert

---
 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 0b3119392..d34fc3150 100644
--- a/src/math/polysat/slicing.cpp
+++ b/src/math/polysat/slicing.cpp
@@ -549,6 +549,7 @@ namespace polysat {
     }
 
     bool slicing::is_value(enode* n) const {
+        SASSERT(n);
         SASSERT(is_app(n->get_expr()));  // we only create app nodes at the moment; if this fails just return false here.
         app* a = n->get_app();
         return a->get_num_args() == 1 && m_bv->is_numeral(a->get_arg(0));