From 8bb1e486770ccc399c86c713b7808b0dee5971d5 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Tue, 23 Sep 2014 13:29:53 +0200
Subject: Did more refactoring.

---
 Source/ExecutionEngine/ExecutionEngine.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source/ExecutionEngine/ExecutionEngine.cs')

diff --git a/Source/ExecutionEngine/ExecutionEngine.cs b/Source/ExecutionEngine/ExecutionEngine.cs
index 093f1d90..11558750 100644
--- a/Source/ExecutionEngine/ExecutionEngine.cs
+++ b/Source/ExecutionEngine/ExecutionEngine.cs
@@ -642,7 +642,7 @@ namespace Microsoft.Boogie
         }
         else if (programSnippet != null)
         {
-          program.TopLevelDeclarations.AddRange(programSnippet.TopLevelDeclarations);
+          program.AddTopLevelDeclarations(programSnippet.TopLevelDeclarations);
         }
       }
       if (!okay)
-- 
cgit v1.2.3