Fixed bug in DafnyExtension (hover text computation would crash if Translator had not been run).

Fixed duplicate hover text information for Lines of calc statements.

1 files changed, 1 insertions, 1 deletions

diff --git a/Source/DafnyExtension/TokenTagger.cs b/Source/DafnyExtension/TokenTagger.cs
index 3999db1e..b17fe7db 100644
--- a/Source/DafnyExtension/TokenTagger.cs
+++ b/Source/DafnyExtension/TokenTagger.cs
@@ -44,7 +44,7 @@ namespace DafnyLanguage
       get

       {

         string text = FixedHoverText;

-        if (Variable != null)

+        if (Variable != null && Variable.HasBeenAssignedUniqueName)

         {

           bool wasUpdated;

           var value = DafnyClassifier.DafnyMenuPackage.TryToLookupValueInCurrentModel(Variable.UniqueName, out wasUpdated);