From 5732d706a756dd16ac2acc9f456f34ddab94bde6 Mon Sep 17 00:00:00 2001
From: Rustan Leino <leino@microsoft.com>
Date: Mon, 27 Aug 2012 17:41:34 -0700
Subject: DafnyExtension:  don't reverify a buffer with no changes

---
 Util/VS2010/DafnyExtension/DafnyExtension/ProgressMargin.cs | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'Util')

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