From 34b52bfc6d4e62a7e8f8c71839952a386b372de2 Mon Sep 17 00:00:00 2001
From: akashlal <unknown>
Date: Sun, 5 Sep 2010 15:31:56 +0000
Subject: Added a new VC.ConditionGeneration.Outcome: StratifiedInlining can
 signal that it has reached the recursion bound.

---
 Source/Core/Absy.cs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Source/Core/Absy.cs')

diff --git a/Source/Core/Absy.cs b/Source/Core/Absy.cs
index 63f6d28d..32165b3e 100644
--- a/Source/Core/Absy.cs
+++ b/Source/Core/Absy.cs
@@ -701,6 +701,7 @@ namespace Microsoft.Boogie {
       foreach (Implementation/*!*/ loopImpl in loopImpls) {
         Contract.Assert(loopImpl != null);
         TopLevelDeclarations.Add(loopImpl);
+        TopLevelDeclarations.Add(loopImpl.Proc);
       }
       return fullMap;
     }
-- 
cgit v1.2.3