From ff3acab20f0eeef2e3d81b1f9f86e47686c6b21a Mon Sep 17 00:00:00 2001
From: sboehme <unknown>
Date: Fri, 23 Jul 2010 20:10:12 +0000
Subject: Also traverse bodies of function definitions when performing lambda
 expansion.

---
 Source/Core/LambdaHelper.ssc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Source/Core/LambdaHelper.ssc b/Source/Core/LambdaHelper.ssc
index 0adebd5c..83b66ce0 100644
--- a/Source/Core/LambdaHelper.ssc
+++ b/Source/Core/LambdaHelper.ssc
@@ -55,7 +55,7 @@ namespace Microsoft.Boogie {
       public override Program! VisitProgram(Program! prog)
       {
         foreach (Declaration! decl in prog.TopLevelDeclarations) {
-          if (decl is Axiom) {
+          if (decl is Axiom || decl is Function) {
             this.Visit(decl);
           }
         }
-- 
cgit v1.2.3