From b3e0213cab15bafa573938059ce9d64fa57e27b8 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 2 May 2022 12:35:28 -0700 Subject: [PATCH] missing object ref Signed-off-by: Nikolaj Bjorner --- 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 af1d32972..69959d181 100644 --- a/src/api/python/z3/z3.py +++ b/src/api/python/z3/z3.py @@ -11284,7 +11284,7 @@ def user_prop_push(ctx, cb): def user_prop_pop(ctx, cb, num_scopes): prop = _prop_closures.get(ctx) prop.cb = cb - pop(num_scopes) + prop.pop(num_scopes) def user_prop_fresh(id, ctx):