1 files changed, 6 insertions, 6 deletions
diff --git a/Test/dafny0/BinaryTree.dfy b/Test/dafny0/BinaryTree.dfy
index 54a98a56..5f56cf40 100644
--- a/Test/dafny0/BinaryTree.dfy
+++ b/Test/dafny0/BinaryTree.dfy
@@ -1,6 +1,6 @@
 class IntSet {
-  var contents: set<int>;
-  var footprint: set<object>;
+  ghost var contents: set<int>;
+  ghost var footprint: set<object>;
 
   var root: Node;
 
@@ -48,7 +48,7 @@ class IntSet {
     footprint := root.footprint + {this};
   }
 
-  method InsertHelper(x: int, n: Node) returns (m: Node)
+  class method InsertHelper(x: int, n: Node) returns (m: Node)
     requires n == null || n.Valid();
     modifies n.footprint;
     ensures m != null && m.Valid();
@@ -97,9 +97,9 @@ class IntSet {
 }
 
 class Node {
-  var contents: set<int>;
-  var footprint: set<object>;
-  
+  ghost var contents: set<int>;
+  ghost var footprint: set<object>;
+
   var data: int;
   var left: Node;
   var right: Node;