fix Dset.get_mark
This commit is contained in:
parent
3dc7bef490
commit
99b982b0bd
|
@ -145,12 +145,12 @@ type mark =
|
|||
| Both
|
||||
|
||||
let get_mark marking = function
|
||||
| Leaf {mark; _} ->
|
||||
| Leaf {mark; _} | Join {mark; _} ->
|
||||
assert (marking.valid);
|
||||
if mark = old_mask then Left
|
||||
else if mark = new_mask then Right
|
||||
else Both
|
||||
| _ -> Both
|
||||
| Empty -> Both
|
||||
|
||||
type 'a view =
|
||||
| Empty
|
||||
|
|
Loading…
Reference in New Issue