From eb24488c3e85281fa05eff732bfcb401bafa7993 Mon Sep 17 00:00:00 2001
From: humnrdble <83878671+humnrdble@users.noreply.github.com>
Date: Sun, 27 Jul 2025 12:19:43 +0200
Subject: [PATCH] FreshConst is_sort (#7748)

---
 src/api/python/z3/z3.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py
index c8e1d30a0..f9bb51699 100644
--- a/src/api/python/z3/z3.py
+++ b/src/api/python/z3/z3.py
@@ -1506,6 +1506,8 @@ def Consts(names, sort):
 
 def FreshConst(sort, prefix="c"):
     """Create a fresh constant of a specified sort"""
+    if z3_debug():
+        _z3_assert(is_sort(sort), f"Z3 sort expected, got {type(sort)}")
     ctx = _get_ctx(sort.ctx)
     return _to_expr_ref(Z3_mk_fresh_const(ctx.ref(), prefix, sort.ast), ctx)