summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Util/VS2010/DafnyExtension/DafnyExtension/ProgressMargin.cs5
1 files changed, 4 insertions, 1 deletions
diff --git a/Util/VS2010/DafnyExtension/DafnyExtension/ProgressMargin.cs b/Util/VS2010/DafnyExtension/DafnyExtension/ProgressMargin.cs
index 33f00ab2..286047ec 100644
--- a/Util/VS2010/DafnyExtension/DafnyExtension/ProgressMargin.cs
+++ b/Util/VS2010/DafnyExtension/DafnyExtension/ProgressMargin.cs
@@ -157,7 +157,10 @@ namespace DafnyLanguage
// We have a successfully resolved program to verify
var resolvedVersion = snap.Version.VersionNumber;
- if (!bufferChangesPostVerificationStart.TrueForAll(span => span.Snapshot.Version.VersionNumber <= resolvedVersion)) {
+ if (bufferChangesPostVerificationStart.Count == 0) {
+ // Nothing new to verify. No reason to start a new verification.
+ return;
+ } else if (!bufferChangesPostVerificationStart.TrueForAll(span => span.Snapshot.Version.VersionNumber <= resolvedVersion)) {
// There have been buffer changes since the program that was resolved. Do nothing here,
// and instead just await the next resolved program.
return;