From bd2c7aa908b1b80e6e9e630521a3b984b4d58f1f Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 4 Apr 2025 20:18:23 -0700 Subject: [PATCH] remove downlevel version incompatible elements of typing --- src/api/python/z3/z3.py | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py index de5fcce93..6c61ea18c 100644 --- a/src/api/python/z3/z3.py +++ b/src/api/python/z3/z3.py @@ -60,10 +60,7 @@ from collections.abc import Callable from typing import ( Any, Iterable, - Sequence, - TypeVar, - Self, - Union, + Sequence )