diff options
Diffstat (limited to 'Test/vacid0/Composite.dfy')
-rw-r--r-- | Test/vacid0/Composite.dfy | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Test/vacid0/Composite.dfy b/Test/vacid0/Composite.dfy index ca5f206b..87e63e2c 100644 --- a/Test/vacid0/Composite.dfy +++ b/Test/vacid0/Composite.dfy @@ -91,7 +91,6 @@ class Composite { var p := parent;
parent := null;
if (p != null) {
- assert (p.left == this) != (p.right == this);
if (p.left == this) {
p.left := null;
} else {
|