diff options
Diffstat (limited to 'Source/Houdini')
| -rw-r--r-- | Source/Houdini/AbstractHoudini.cs | 3 |
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)
{
|