Display line numbers (useful for finding what the error message refers to)

1 files changed, 0 insertions, 21 deletions

diff --git a/Source/ModelViewer/DataModel.cs b/Source/ModelViewer/DataModel.cs
index 807158e2..f8a9abf0 100644
--- a/Source/ModelViewer/DataModel.cs
+++ b/Source/ModelViewer/DataModel.cs
@@ -47,27 +47,6 @@ namespace Microsoft.Boogie.ModelViewer
     public string Header;

     public string RichTextContent;

     public int Location;

-

-    public static void RtfAppend(StringBuilder sb, char c, ref int pos)

-    {

-      pos++;

-      switch (c) {

-        case '\r': pos--;  break;

-        case '\\': sb.Append("\\\\"); break;

-        case '\n': sb.Append("\\par\n"); break;

-        case '{': sb.Append("\\{"); break;

-        case '}': sb.Append("\\}"); break;

-        default: sb.Append(c); break;

-      }

-    }

-

-    public static void RtfAppendStateIdx(StringBuilder sb, string label, ref int pos)

-    {

-      label += ".";

-      pos += label.Length;

-      sb.Append(@"{\sub\cf5\highlight4 ").Append(label).Append("}");

-    }

-

   }

 

   public interface IState