Jennisys: started to work on synthesizing some methods. So far, only

  infrastructural things have been implemented, like handling return parameters,
  generating different "fresh" spec for methods than for constructors,
  adding "Valid()" to method preconditions.

1 files changed, 1 insertions, 1 deletions

diff --git a/Test/dafny1/ListContents.dfy b/Test/dafny1/ListContents.dfy
index f672950b..069ffbde 100644
--- a/Test/dafny1/ListContents.dfy
+++ b/Test/dafny1/ListContents.dfy
@@ -48,7 +48,7 @@ class Node<T> {
     r.footprint := {r} + this.footprint;

     r.list := [r.data] + this.list;

   }

-

+  

   method ReverseInPlace() returns (reverse: Node<T>)

     requires Valid();

     modifies footprint;