summaryrefslogtreecommitdiff
path: root/Source/DafnyExtension
diff options
context:
space:
mode:
authorGravatar wuestholz <unknown>2014-04-03 10:43:55 +0200
committerGravatar wuestholz <unknown>2014-04-03 10:43:55 +0200
commit7c64906cd2eb3d0258b29e91bdc861743a05ff42 (patch)
tree7ad7a9c6a74c5021e0a9544aa2d40f2268f7cf9d /Source/DafnyExtension
parenta93abfeb96437977f2cbd56c0e99610af6f12386 (diff)
DafnyExtension: Fixed a concurrency issue.
Diffstat (limited to 'Source/DafnyExtension')
-rw-r--r--Source/DafnyExtension/ProgressMargin.cs4
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/DafnyExtension/ProgressMargin.cs b/Source/DafnyExtension/ProgressMargin.cs
index f8afaf13..043445a6 100644
--- a/Source/DafnyExtension/ProgressMargin.cs
+++ b/Source/DafnyExtension/ProgressMargin.cs
@@ -368,8 +368,8 @@ namespace DafnyLanguage
List<SnapshotSpan> pre;
List<SnapshotSpan> post;
lock (this) {
- pre = bufferChangesPreVerificationStart;
- post = bufferChangesPostVerificationStart;
+ pre = bufferChangesPreVerificationStart.ToList();
+ post = bufferChangesPostVerificationStart.ToList();
}
// If the requested snapshot isn't the same as the one our words are on, translate our spans to the expected snapshot