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;