diff options
-rw-r--r-- | Source/DafnyMenu/DafnyMenuPackage.cs | 4 |
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;
|