diff --git a/src/api/python/z3util.py b/src/api/python/z3util.py
index 402d29174..6d309d9e9 100644
--- a/src/api/python/z3util.py
+++ b/src/api/python/z3util.py
@@ -1,3 +1,5 @@
+from z3 import *
+
 """
 In Z3, variables are caleld *uninterpreted* consts and 
 variables are *interpreted* consts.