From 3cc9d57438cb8f4e56122a63e7b18d7d99478c5b Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Fri, 21 Dec 2012 16:58:10 -0800 Subject: [PATCH] Fix pytest, it should work with Python 2.7.x and 3.x Signed-off-by: Leonardo de Moura --- src/api/python/z3.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/api/python/z3.py b/src/api/python/z3.py index 169152ff4..9b1d5f1f0 100644 --- a/src/api/python/z3.py +++ b/src/api/python/z3.py @@ -2486,8 +2486,8 @@ class RatNumRef(ArithRef): 10000000000 >>> v + 1 10000000000 + 1 - >>> v.numerator_as_long() + 1 - 10000000001 + >>> v.numerator_as_long() + 1 == 10000000001 + True """ return self.numerator().as_long()