From 6b25932f6c3a22115f5f9a0dc327797dfc4fdd27 Mon Sep 17 00:00:00 2001
From: Ally Donaldson <unknown>
Date: Mon, 22 Jul 2013 22:05:14 +0100
Subject: Fixes to refactoring

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

(limited to 'Source/Predication')

diff --git a/Source/Predication/SmartBlockPredicator.cs b/Source/Predication/SmartBlockPredicator.cs
index 484a866d..28005186 100644
--- a/Source/Predication/SmartBlockPredicator.cs
+++ b/Source/Predication/SmartBlockPredicator.cs
@@ -115,7 +115,7 @@ public class SmartBlockPredicator {
             new IdentifierExpr(Token.NoToken, havocVar);
         }
         cmdSeq.Add(new HavocCmd(Token.NoToken,
-                                new List<IdentifierExpr>(havocTempExpr)));
+                                new List<IdentifierExpr> { havocTempExpr }));
         cmdSeq.Add(Cmd.SimpleAssign(Token.NoToken, v,
                                     new NAryExpr(Token.NoToken,
                                       new IfThenElse(Token.NoToken),
-- 
cgit v1.2.3