From d495b086395ac8693151e0561938c3fddfbb1d76 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Wed, 5 Oct 2016 15:34:02 +0100 Subject: [PATCH] Build/test fix for python3 --- src/api/python/z3/z3num.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/api/python/z3/z3num.py b/src/api/python/z3/z3num.py index c8f15e7b8..2943b0796 100644 --- a/src/api/python/z3/z3num.py +++ b/src/api/python/z3/z3num.py @@ -10,6 +10,8 @@ from .z3core import * from .z3printer import * from fractions import Fraction +from .z3 import _get_ctx + def _to_numeral(num, ctx=None): if isinstance(num, Numeral): return num