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 | |
| parent | dc34935912fb578e1cf1107f3ad0707695d2f98a (diff) | |
Also traverse bodies of function definitions when performing lambda expansion.
| -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);
}
}
|