diff options
author | Ally Donaldson <unknown> | 2013-07-22 22:17:36 +0100 |
---|---|---|
committer | Ally Donaldson <unknown> | 2013-07-22 22:17:36 +0100 |
commit | 39d097578051fdee43bca8d17cb568b99a7be50e (patch) | |
tree | 63206edab489d77fa6fe7a6bcf30718b925ba304 /Source/AbsInt/NativeLattice.cs | |
parent | 6b25932f6c3a22115f5f9a0dc327797dfc4fdd27 (diff) |
CmdSeq: farewell
Diffstat (limited to 'Source/AbsInt/NativeLattice.cs')
-rw-r--r-- | Source/AbsInt/NativeLattice.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/AbsInt/NativeLattice.cs b/Source/AbsInt/NativeLattice.cs index 4fccc14b..8bb44385 100644 --- a/Source/AbsInt/NativeLattice.cs +++ b/Source/AbsInt/NativeLattice.cs @@ -242,7 +242,7 @@ namespace Microsoft.Boogie.AbstractInterpretation foreach (var b in impl.Blocks) {
var element = pre[b.aiId];
if (element != null && (b.widenBlock || CommandLineOptions.Clo.InstrumentInfer == CommandLineOptions.InstrumentationPlaces.Everywhere)) {
- CmdSeq newCommands = new CmdSeq();
+ List<Cmd> newCommands = new List<Cmd>();
Expr inv = element.ToExpr();
PredicateCmd cmd;
var kv = new QKeyValue(Token.NoToken, "inferred", new List<object>(), null);
|