From 7b8d47bfb96b45beb3367ff8032752e7a96bb9b3 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Thu, 1 Aug 2013 09:25:49 -0700
Subject: DafnyExtension: Made it display all variable values from the model.

---
 Source/DafnyMenu/DafnyMenuPackage.cs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Source/DafnyMenu')

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;
-- 
cgit v1.2.3