mirror of
https://github.com/Z3Prover/z3
synced 2025-04-10 03:07:07 +00:00
missing object ref
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
be653dab0e
commit
b3e0213cab
|
@ -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):
|
||||
|
|
Loading…
Reference in a new issue