Deprecated "comethod" keyword in favor of "colemma". (Also, "prefix method" -> "prefix lemma")

1 files changed, 3 insertions, 3 deletions

diff --git a/Source/DafnyExtension/OutliningTagger.cs b/Source/DafnyExtension/OutliningTagger.cs
index d643da5d..7c786d7e 100644
--- a/Source/DafnyExtension/OutliningTagger.cs
+++ b/Source/DafnyExtension/OutliningTagger.cs
@@ -171,11 +171,11 @@ namespace DafnyLanguage
               } else if (m is Dafny.Method && ((Dafny.Method)m).Body != null) {

                 var nm =

                   m is Dafny.Constructor ? "constructor" :

-                  m is Dafny.CoMethod ? "comethod" :

+                  m is Dafny.CoLemma ? "colemma" :

                   m is Dafny.Lemma ? "lemma" :

-                  // m is Dafny.PrefixMethod ? "prefix method" :  // this won't ever occur here

+                  // m is Dafny.PrefixLemma ? "prefix lemma" :  // this won't ever occur here

                   "method";

-                if (m.IsGhost && !(m is Dafny.CoMethod)) {

+                if (m.IsGhost && !(m is Dafny.CoLemma)) {

                   nm = "ghost " + nm;

                 }

                 newRegions.Add(new OutliningRegion(m, nm));