From 0b7a81b7c91b552ef5f4d25a70d7ebba51480fb4 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 5 Apr 2025 14:45:52 -0700 Subject: [PATCH] list[ExprRef] doesn't build for python --- 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 abd2a068e..4a681c6cb 100644 --- a/src/api/python/z3/z3.py +++ b/src/api/python/z3/z3.py @@ -1533,7 +1533,7 @@ def RealVar(idx: int, ctx=None) -> ExprRef: """ return Var(idx, RealSort(ctx)) -def RealVarVector(n: int, ctx= None) -> list[ExprRef]: +def RealVarVector(n: int, ctx= None): """ Create a list of Real free variables. The variables have ids: 0, 1, ..., n-1