From dbc9bebd189bc168218b3cef30e203bb888c50d3 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 15 Jan 2015 16:47:10 +0530 Subject: [PATCH] fix instance test Signed-off-by: Nikolaj Bjorner --- 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 db629cd2d..1414201b2 100644 --- a/src/api/python/z3.py +++ b/src/api/python/z3.py @@ -6183,7 +6183,7 @@ class Fixedpoint(Z3PPObject): """ query = _get_args(query) sz = len(query) - if sz >= 1 and isinstance(query[0], FuncDecl): + if sz >= 1 and isinstance(query[0], FuncDeclRef): _decls = (FuncDecl * sz)() i = 0 for q in query: