diff options
| author |  Ally Donaldson <unknown> | 2013-07-22 15:10:27 +0100 |
|---|---|---|
| committer | Ally Donaldson <unknown> | 2013-07-22 15:10:27 +0100 |
| commit | 57fb103b7ae870973544f957ae1c230dbf570cdb (patch) | |
| tree | 6fb2a02844e487dea5708016cbe882fffbdf8e46 /Source/Doomed/DoomedLoopUnrolling.cs | |
| parent | 5664c5e30f16b74eae4cdcb0b9ba65d5b030c815 (diff) | |
Changed Has method of PureSequence to Contains to make refactoring easier.
Diffstat (limited to 'Source/Doomed/DoomedLoopUnrolling.cs')
| -rw-r--r-- | Source/Doomed/DoomedLoopUnrolling.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Doomed/DoomedLoopUnrolling.cs b/Source/Doomed/DoomedLoopUnrolling.cs index e65a570a..d97d56d0 100644 --- a/Source/Doomed/DoomedLoopUnrolling.cs +++ b/Source/Doomed/DoomedLoopUnrolling.cs @@ -114,7 +114,7 @@ namespace VC {
Contract.Assert(v != null);
IdentifierExpr ie = new IdentifierExpr(Token.NoToken, v);
- if (!havocExprs.Has(ie))
+ if (!havocExprs.Contains(ie))
havocExprs.Add(ie);
}
// pass the token of the enclosing loop header to the HavocCmd so we can reconstruct
|