1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Houdini/CandidateDependenceAnalyser.cs b/Source/Houdini/CandidateDependenceAnalyser.cs
index 0f725ccf..0da1c5d9 100644
--- a/Source/Houdini/CandidateDependenceAnalyser.cs
+++ b/Source/Houdini/CandidateDependenceAnalyser.cs
@@ -411,7 +411,7 @@ namespace Microsoft.Boogie.Houdini {
         #region Adapt candidate assertions to take account of stages
         foreach (var b in prog.TopLevelDeclarations.OfType<Implementation>().Select(Item => Item.Blocks).SelectMany(Item => Item))
         {
-            CmdSeq newCmds = new CmdSeq();
+            List<Cmd> newCmds = new List<Cmd>();
             foreach (var cmd in b.Cmds)
             {
                 var a = cmd as AssertCmd;