From 75542ea0ee9f14ef18eee6e3349747a8f7181b51 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Mon, 10 Nov 2014 10:48:12 +0100
Subject: Worked on the verification result caching.

---
 Source/ExecutionEngine/VerificationResultCache.cs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'Source/ExecutionEngine')

diff --git a/Source/ExecutionEngine/VerificationResultCache.cs b/Source/ExecutionEngine/VerificationResultCache.cs
index c75bd52f..5bce360b 100644
--- a/Source/ExecutionEngine/VerificationResultCache.cs
+++ b/Source/ExecutionEngine/VerificationResultCache.cs
@@ -208,9 +208,9 @@ namespace Microsoft.Boogie
           {
             var oldUnmod = new LocalVariable(Token.NoToken,
               new TypedIdent(Token.NoToken, string.Format("{0}##old##{1}", unmod.Name, FreshTemporaryVariableName), unmod.Type));
-            before.Add(new AssignCmd(Token.NoToken,
-                         new List<AssignLhs> { new SimpleAssignLhs(Token.NoToken, new IdentifierExpr(Token.NoToken, oldUnmod)) },
-                         new List<Expr> { new IdentifierExpr(Token.NoToken, unmod.Decl) }));
+            var lhs = new SimpleAssignLhs(Token.NoToken, new IdentifierExpr(Token.NoToken, oldUnmod));
+            var rhs = new IdentifierExpr(Token.NoToken, unmod.Decl);
+            before.Add(new AssignCmd(Token.NoToken, new List<AssignLhs> { lhs }, new List<Expr> { rhs }));
             var eq = LiteralExpr.Eq(new IdentifierExpr(Token.NoToken, oldUnmod), new IdentifierExpr(Token.NoToken, unmod.Decl));
             if (assumedExpr == null)
             {
-- 
cgit v1.2.3