1 files changed, 3 insertions, 3 deletions
diff --git a/Test/dafny2/MonotonicHeapstate.dfy b/Test/dafny2/MonotonicHeapstate.dfy
index d6817ce9..b0032b44 100644
--- a/Test/dafny2/MonotonicHeapstate.dfy
+++ b/Test/dafny2/MonotonicHeapstate.dfy
@@ -12,7 +12,7 @@ module M0 {
 
     ghost var Repr: set<object>;
 
-    predicate Valid()
+    protected predicate Valid()
       reads this, Repr;
     {
       this in Repr && null !in Repr &&
@@ -58,7 +58,7 @@ module M1 refines M0 {
   class Expr {
     ghost var resolved: bool;
 
-    predicate Valid()
+    protected predicate Valid()
     {
       resolved ==>
         (kind == Binary ==> left.resolved && right.resolved)
@@ -104,7 +104,7 @@ module M2 refines M1 {
   class Expr {
     var decl: VarDecl;  // if kind==Ident, filled in during resolution
 
-    predicate Valid()
+    protected predicate Valid()
     {
       resolved ==>
         (kind == Ident ==> decl != null)