From 2f0d74fca89e8fc65eb1041f8de5dc93aa8d4dd0 Mon Sep 17 00:00:00 2001
From: Jakob Rath <git@jakobrath.eu>
Date: Wed, 26 Jul 2023 09:34:45 +0200
Subject: [PATCH] fix

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

diff --git a/src/math/polysat/slicing.h b/src/math/polysat/slicing.h
index a1bc8e4f7..320fbdbdd 100644
--- a/src/math/polysat/slicing.h
+++ b/src/math/polysat/slicing.h
@@ -225,7 +225,7 @@ namespace polysat {
             pvar v;
             unsigned num_args;
             unsigned args_idx;
-            unsigned next_args_idx() const { args_idx + num_args; }
+            unsigned next_args_idx() const { return args_idx + num_args; }
         };
         svector<concat_info> m_concat_trail;
         svector<pvar> m_concat_args;