diff options
Diffstat (limited to 'Test/snapshots/Snapshots28.v1.bpl')
-rw-r--r-- | Test/snapshots/Snapshots28.v1.bpl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/snapshots/Snapshots28.v1.bpl b/Test/snapshots/Snapshots28.v1.bpl index 881fa496..0312b6a6 100644 --- a/Test/snapshots/Snapshots28.v1.bpl +++ b/Test/snapshots/Snapshots28.v1.bpl @@ -12,5 +12,5 @@ implementation {:id "M"} {:checksum "2"} M() }
assert 0 == 0;
- assert x == 0; // TODO(wuestholz): This should fail.
+ assert x == 0;
}
|