diff options
Diffstat (limited to 'Test/dafny1/SeparationLogicList.dfy')
| -rw-r--r-- | Test/dafny1/SeparationLogicList.dfy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/dafny1/SeparationLogicList.dfy b/Test/dafny1/SeparationLogicList.dfy index 56a64bd6..0b803afc 100644 --- a/Test/dafny1/SeparationLogicList.dfy +++ b/Test/dafny1/SeparationLogicList.dfy @@ -53,7 +53,7 @@ class ListNode<T> { var next: ListNode<T>;
static function IsList(l: ListNode<T>): bool
- reads l, l.Repr;
+ reads l, if l != null then l.Repr else {};
{
if l == null then
true
|