From 44ec259c4ca8bf97e780f75d0bc195b76d391c23 Mon Sep 17 00:00:00 2001 From: Nuno Lopes Date: Sat, 11 Jul 2020 22:33:47 +0100 Subject: [PATCH] fix python test --- 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 63a2531fa..61214dcc9 100644 --- a/src/api/python/z3/z3.py +++ b/src/api/python/z3/z3.py @@ -2795,7 +2795,7 @@ class IntNumRef(ArithRef): def as_binary_string(self): """Return a Z3 integer numeral as a Python binary string. >>> v = IntVal(10) - >>> v.as_string() + >>> v.as_binary_string() '1010' """ return Z3_get_numeral_binary_string(self.ctx_ref(), self.as_ast())