From 2aee97da085688aab58c154e367558b1f139d476 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Mon, 22 Sep 2014 17:35:15 +0200
Subject: Fixed an issue in the verification result caching (recycled errors).

---
 Source/VCGeneration/ConditionGeneration.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source/VCGeneration/ConditionGeneration.cs')

diff --git a/Source/VCGeneration/ConditionGeneration.cs b/Source/VCGeneration/ConditionGeneration.cs
index d9f53a56..50a717f9 100644
--- a/Source/VCGeneration/ConditionGeneration.cs
+++ b/Source/VCGeneration/ConditionGeneration.cs
@@ -1075,7 +1075,7 @@ namespace VC {
         {
           ce.RequestId = RequestId;
         }
-        if (ce.OriginalRequestId == null)
+        if (ce.OriginalRequestId == null && 1 < CommandLineOptions.Clo.VerifySnapshots)
         {
           ce.OriginalRequestId = RequestId;
         }
-- 
cgit v1.2.3