From 7f88cfe727ac3800b906f382ced2e705578873e4 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 17 Aug 2021 10:10:20 -0700 Subject: [PATCH] build Signed-off-by: Nikolaj Bjorner --- src/api/python/z3/z3.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py index dc9c427ce..25e2a2167 100644 --- a/src/api/python/z3/z3.py +++ b/src/api/python/z3/z3.py @@ -6566,7 +6566,7 @@ class ModelRef(Z3PPObject): if is_expr(x): x = x.decl() if not is_func_decl(x) or x.arity() != 0: - raise Z3Exception(f"Expecting 0-ary function or constant expression {x}") + raise Z3Exception("Expecting 0-ary function or constant expression") value = _py2expr(value) Z3_add_const_interp(x.ctx_ref(), self.model, x.ast, value.ast)