From e1fc837141b063e19e515bb6eb425af1262bc32e Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nuno.lopes@tecnico.ulisboa.pt>
Date: Sat, 31 Jan 2026 14:19:53 +0000
Subject: [PATCH] minor simplification

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

diff --git a/src/ast/ast.h b/src/ast/ast.h
index 63f3407c4..da3d7a4ee 100644
--- a/src/ast/ast.h
+++ b/src/ast/ast.h
@@ -320,7 +320,7 @@ class sort_size {
     sort_size(kind_t k, uint64_t r):m_kind(k), m_size(r) {}
 public:
     sort_size():m_kind(SS_INFINITE), m_size(0) {}
-    sort_size(uint64_t const & sz):m_kind(SS_FINITE), m_size(sz) {}
+    sort_size(uint64_t sz):m_kind(SS_FINITE), m_size(sz) {}
     explicit sort_size(rational const& r) {
         if (r.is_uint64()) {
             m_kind = SS_FINITE;