diff options
| author |  Ally Donaldson <unknown> | 2013-07-22 22:05:14 +0100 |
|---|---|---|
| committer | Ally Donaldson <unknown> | 2013-07-22 22:05:14 +0100 |
| commit | 6b25932f6c3a22115f5f9a0dc327797dfc4fdd27 (patch) | |
| tree | 702106c5c3bcbb7aab1f8f7c6779bc254464974a /Source/Predication | |
| parent | 12f3c4d7f530265c966bc72764d17e08a47aa4c0 (diff) | |
Fixes to refactoring
Diffstat (limited to 'Source/Predication')
| -rw-r--r-- | Source/Predication/SmartBlockPredicator.cs | 2 |
1 files changed, 1 insertions, 1 deletions
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),
|