1 files changed, 4 insertions, 2 deletions
diff --git a/Test/dafny0/Datatypes.dfy b/Test/dafny0/Datatypes.dfy
index 61ae9cb6..8492f217 100644
--- a/Test/dafny0/Datatypes.dfy
+++ b/Test/dafny0/Datatypes.dfy
@@ -8,7 +8,8 @@ class Node {
   var next: Node;
 
   function Repr(list: List<int>): bool
-    reads this;
+    reads *;
+    decreases list;
   { match list
     case Nil =>
       next == null
@@ -38,7 +39,8 @@ class AnotherNode {
   var next: AnotherNode;
 
   function Repr(n: AnotherNode, list: List<int>): bool
-    reads n;
+    reads *;
+    decreases list;
   { match list
     case Nil =>
       n == null