From 957d7bfe35c95e74773a0feb8593c364968962cf Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Thu, 4 Mar 2021 17:18:39 -0800 Subject: [PATCH] Adjust imports so z3.z3 is still available in python3 (#5079) --- src/api/python/z3/__init__.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/api/python/z3/__init__.py b/src/api/python/z3/__init__.py index f7aa29ab1..2d8dd5beb 100644 --- a/src/api/python/z3/__init__.py +++ b/src/api/python/z3/__init__.py @@ -1,4 +1,5 @@ -from .z3 import * +from . import z3 +from z3 import * from . import z3num from . import z3poly