Lets have a setter for TopLevelDeclarations as well

1 files changed, 1 insertions, 2 deletions

diff --git a/Source/Houdini/AbstractHoudini.cs b/Source/Houdini/AbstractHoudini.cs
index 6920ade3..cc8298b3 100644
--- a/Source/Houdini/AbstractHoudini.cs
+++ b/Source/Houdini/AbstractHoudini.cs
@@ -2401,8 +2401,7 @@ namespace Microsoft.Boogie.Houdini {
 

             var decls = new List<Declaration>(copy.Values);

             decls.AddRange(program.TopLevelDeclarations.Where(decl => !(decl is Implementation)));

-            program.ClearTopLevelDeclarations();

-            program.AddTopLevelDeclarations(decls);

+            program.TopLevelDeclarations = decls;

             var name2Proc = new Dictionary<string, Procedure>();

             foreach (var proc in program.Procedures)

             {