From 6dcec4ce79bf4b63606b67cb45c934ae2abd8ea9 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 28 Sep 2018 16:38:43 -0700 Subject: [PATCH] z3_assert -> _z3_assert Signed-off-by: Nikolaj Bjorner --- src/api/python/z3/z3.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py index 253541a91..8b37fb802 100644 --- a/src/api/python/z3/z3.py +++ b/src/api/python/z3/z3.py @@ -4301,7 +4301,7 @@ def ArraySort(*sig): """ sig = _get_args(sig) if __debug__: - z3_assert(len(sig) > 1, "At least two arguments expected") + _z3_assert(len(sig) > 1, "At least two arguments expected") arity = len(sig) - 1 r = sig[arity] d = sig[0]