diff options
Diffstat (limited to 'Source/BoogieDriver/BoogieDriver.ssc')
| -rw-r--r-- | Source/BoogieDriver/BoogieDriver.ssc | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Source/BoogieDriver/BoogieDriver.ssc b/Source/BoogieDriver/BoogieDriver.ssc index 7b22d6fe..f58dbcfd 100644 --- a/Source/BoogieDriver/BoogieDriver.ssc +++ b/Source/BoogieDriver/BoogieDriver.ssc @@ -446,6 +446,13 @@ namespace Microsoft.Boogie Inliner.ProcessImplementation(program, impl);
}
}
+ foreach (Declaration d in TopLevelDeclarations) {
+ Implementation impl = d as Implementation;
+ if (impl != null) {
+ impl.OriginalBlocks = null;
+ impl.OriginalLocVars = null;
+ }
+ }
}
}
return PipelineOutcome.Done;
|