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