mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
fixed tab
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
parent
41a59325d9
commit
c00f20832a
|
@ -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)
|
||||
|
|
Loading…
Reference in a new issue