diff options
| author |  wuestholz <unknown> | 2014-12-28 13:19:30 +0100 |
|---|---|---|
| committer | wuestholz <unknown> | 2014-12-28 13:19:30 +0100 |
| commit | e0d28208a911c851d0f043311c3c3119f4b530d3 (patch) | |
| tree | c396b4189cd7d5d2d19deab78c0e2bd956b4883b /Source/ExecutionEngine | |
| parent | 2c32cc30d1b72cbae535d7618eaea6276ee0b926 (diff) | |
Minor change in verification result caching (extracted functions)
Diffstat (limited to 'Source/ExecutionEngine')
| -rw-r--r-- | Source/ExecutionEngine/VerificationResultCache.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/ExecutionEngine/VerificationResultCache.cs b/Source/ExecutionEngine/VerificationResultCache.cs index 7040f74c..d66f68d3 100644 --- a/Source/ExecutionEngine/VerificationResultCache.cs +++ b/Source/ExecutionEngine/VerificationResultCache.cs @@ -290,7 +290,7 @@ namespace Microsoft.Boogie public override Expr VisitIdentifierExpr(IdentifierExpr node)
{
- if (node.Decl == null || !(node.Decl is LocalVariable || node.Decl is Formal))
+ if (node.Decl == null || !(node.Decl is LocalVariable || node.Decl is Formal || node.Decl is GlobalVariable))
{
return node;
}
|