diff options
author | sboehme <unknown> | 2010-07-23 20:10:12 +0000 |
---|---|---|
committer | sboehme <unknown> | 2010-07-23 20:10:12 +0000 |
commit | ff3acab20f0eeef2e3d81b1f9f86e47686c6b21a (patch) | |
tree | 0490527d39e4ac151a8432f3afbe1da9f2f1fb28 /Source | |
parent | dc34935912fb578e1cf1107f3ad0707695d2f98a (diff) |
Also traverse bodies of function definitions when performing lambda expansion.
Diffstat (limited to 'Source')
-rw-r--r-- | Source/Core/LambdaHelper.ssc | 2 |
1 files changed, 1 insertions, 1 deletions
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);
}
}
|