Added 'protected' keyword (syntax)

1 files changed, 1 insertions, 0 deletions

diff --git a/Source/Dafny/Printer.cs b/Source/Dafny/Printer.cs
index 5ae5643b..b8c99b00 100644
--- a/Source/Dafny/Printer.cs
+++ b/Source/Dafny/Printer.cs
@@ -474,6 +474,7 @@ namespace Microsoft.Dafny {
       var isPredicate = f is Predicate || f is PrefixPredicate;

       Indent(indent);

       string k = isPredicate ? "predicate" : f is CoPredicate ? "copredicate" : "function";

+      if (f.IsProtected) { k = "protected " + k; }

       if (f.HasStaticKeyword) { k = "static " + k; }

       if (!f.IsGhost) { k += " method"; }

       PrintClassMethodHelper(k, f.Attributes, f.Name, f.TypeArgs);