DafnyExtension: Made it display all variable values from the model.

1 files changed, 2 insertions, 2 deletions

diff --git a/Source/DafnyMenu/DafnyMenuPackage.cs b/Source/DafnyMenu/DafnyMenuPackage.cs
index 61a2a85b..60174668 100644
--- a/Source/DafnyMenu/DafnyMenuPackage.cs
+++ b/Source/DafnyMenu/DafnyMenuPackage.cs
@@ -321,9 +321,9 @@ namespace DafnyLanguage.DafnyMenu
         var m = BvdToolWindow.BVD.LangModel as Microsoft.Boogie.ModelViewer.Dafny.DafnyModel;

         var s = m.states[BvdToolWindow.BVD.CurrentState];

         var v = s.Vars.FirstOrDefault(var => var.Name == name);

-        if (v != null && v.Element.Kind != Microsoft.Boogie.Model.ElementKind.Uninterpreted)

+        if (v != null)

         {

-          result = v.Element.ToString();

+          result = m.CanonicalName(v.Element);

         }

       }

       return result;