diff options
Diffstat (limited to 'src/comp/util')
| -rw-r--r-- | src/comp/util/typestate_ann.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/comp/util/typestate_ann.rs b/src/comp/util/typestate_ann.rs index 0218df1c..9ccb8731 100644 --- a/src/comp/util/typestate_ann.rs +++ b/src/comp/util/typestate_ann.rs @@ -75,6 +75,10 @@ fn union(&precond p1, &precond p2) -> bool { be bitv.union(p1, p2); } +fn intersect(&precond p1, &precond p2) -> bool { + be bitv.intersect(p1, p2); +} + fn pps_len(&pre_and_post p) -> uint { // gratuitous check check (p.precondition.nbits == p.postcondition.nbits); |