From f533e5cfd751445943d9893cd19b09d677101a6f Mon Sep 17 00:00:00 2001
From: "ThanhVu (Vu) Nguyen" <tnguyen@cs.unm.edu>
Date: Sun, 2 Dec 2012 23:42:16 -0500
Subject: [PATCH] added is_expr_var and is_expr_val to check if a given
 expression is a value or a variable

---
 src/api/python/z3util.py | 2 ++
 1 file changed, 2 insertions(+)

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.