Present-to-absent check is necessary in assertion removal handler
This commit is contained in:
parent
02181354dd
commit
4ddcdfb6a9
|
@ -444,8 +444,9 @@ check followed by zero or more (move, check) pairs.
|
||||||
del_leaf (leafcache, _) v = leafcache -= v
|
del_leaf (leafcache, _) v = leafcache -= v
|
||||||
del_handler (bag, f_table) vs =
|
del_handler (bag, f_table) vs =
|
||||||
bag[vs] -= 1
|
bag[vs] -= 1
|
||||||
for f in f_table
|
if vs not in bag then
|
||||||
f "-" vs
|
for f in f_table
|
||||||
|
f "-" vs
|
||||||
|
|
||||||
**Definition.** The procedures `addAssertion` and `removeAssertion`
|
**Definition.** The procedures `addAssertion` and `removeAssertion`
|
||||||
install and remove an assertion `v` into the given index,
|
install and remove an assertion `v` into the given index,
|
||||||
|
|
Loading…
Reference in New Issue