1 files changed, 2 insertions, 2 deletions
diff --git a/Source/Concurrency/Program.cs b/Source/Concurrency/Program.cs
index 915eadda..562044a9 100644
--- a/Source/Concurrency/Program.cs
+++ b/Source/Concurrency/Program.cs
@@ -36,8 +36,8 @@ namespace Microsoft.Boogie
             {
                 decl.Attributes = OwickiGries.RemoveYieldsAttribute(decl.Attributes);
             }
-            program.TopLevelDeclarations.RemoveAll(x => originalDecls.Contains(x));
-            program.TopLevelDeclarations.AddRange(decls);
+            program.RemoveTopLevelDeclarations(x => originalDecls.Contains(x));
+            program.AddTopLevelDeclarations(decls);
         }
 
     }