From e804f7743a863824a9c1d8fc158077283ac1dbe9 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 5 Mar 2021 15:26:00 -0800
Subject: [PATCH] Revert "Adjust imports so z3.z3 is still available in python3
 (#5079)" (#5081)

This reverts commit 957d7bfe35c95e74773a0feb8593c364968962cf.
---
 src/api/python/z3/__init__.py | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/api/python/z3/__init__.py b/src/api/python/z3/__init__.py
index 2d8dd5beb..f7aa29ab1 100644
--- a/src/api/python/z3/__init__.py
+++ b/src/api/python/z3/__init__.py
@@ -1,5 +1,4 @@
-from . import z3
-from z3 import *
+from .z3 import *
 
 from . import z3num
 from . import z3poly