From c00f20832a0de6ef68b58693284fefe331dc327e Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 27 Nov 2012 09:23:44 -0800 Subject: [PATCH] fixed tab Signed-off-by: Leonardo de Moura --- src/api/python/z3.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/api/python/z3.py b/src/api/python/z3.py index 84724e51e..94031cce6 100644 --- a/src/api/python/z3.py +++ b/src/api/python/z3.py @@ -632,7 +632,7 @@ class FuncDeclRef(AstRef): >>> f(x, x) f(x, ToReal(x)) """ - args = _get_args(args) + args = _get_args(args) num = len(args) if __debug__: _z3_assert(num == self.arity(), "Incorrect number of arguments to %s" % self)