1 files changed, 1 insertions, 1 deletions
diff --git a/Source/VCGeneration/FixedpointVC.cs b/Source/VCGeneration/FixedpointVC.cs
index 04b976ea..ee33253f 100644
--- a/Source/VCGeneration/FixedpointVC.cs
+++ b/Source/VCGeneration/FixedpointVC.cs
@@ -548,7 +548,7 @@ namespace Microsoft.Boogie
                     {
                         Constant constant = new Constant(Token.NoToken, new TypedIdent(Token.NoToken, v.Name + temp++, v.TypedIdent.Type));
                         interfaceVarCopies[i].Add(constant);
-                        //program.TopLevelDeclarations.Add(constant);
+                        //program.AddTopLevelDeclaration(constant);
                     }
                 }
             }