Make it possible to look up variables in the Dafny error models.

1 files changed, 2 insertions, 2 deletions

diff --git a/Source/ModelViewer/TreeSkeleton.cs b/Source/ModelViewer/TreeSkeleton.cs
index e1bc678a..543788a8 100644
--- a/Source/ModelViewer/TreeSkeleton.cs
+++ b/Source/ModelViewer/TreeSkeleton.cs
@@ -149,7 +149,7 @@ namespace Microsoft.Boogie.ModelViewer
         }

       }

 

-      foreach (var name in main.langModel.SortFields(names)) {

+      foreach (var name in main.LangModel.SortFields(names)) {

         children.Add(created[name]);

       }

     }

@@ -186,7 +186,7 @@ namespace Microsoft.Boogie.ModelViewer
           parents.Add(curr.displayNodes[stateId]);

       }

       parents.Reverse();

-      return main.langModel.PathName(parents);

+      return main.LangModel.PathName(parents);

     }

 

     public void SyncWith(Dictionary<SkeletonItem, SkeletonItem> mapping, SkeletonItem old)