From 4956f6ef5bceeee429d83d8179ec3a7b45f01f4b Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Wed, 5 Oct 2016 16:11:07 +0100 Subject: [PATCH] Test fix for python3 --- src/api/python/z3/z3num.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/api/python/z3/z3num.py b/src/api/python/z3/z3num.py index 2943b0796..b1af58dc3 100644 --- a/src/api/python/z3/z3num.py +++ b/src/api/python/z3/z3num.py @@ -88,7 +88,7 @@ class Numeral: def __init__(self, num, ctx=None): if isinstance(num, Ast): self.ast = num - self.ctx = z3._get_ctx(ctx) + self.ctx = _get_ctx(ctx) elif isinstance(num, RatNumRef) or isinstance(num, AlgebraicNumRef): self.ast = num.ast self.ctx = num.ctx