diff options
| author |  qadeer <unknown> | 2013-08-14 22:17:38 -0700 |
|---|---|---|
| committer | qadeer <unknown> | 2013-08-14 22:17:38 -0700 |
| commit | 3219275e4d4fec086a171677df9164b8abd31423 (patch) | |
| tree | 4a47dc6164f9aff167de065c15f370250f2a6217 /Source/Core/ResolutionContext.cs | |
| parent | 59a8eec60863aa97b4ed28344e3250253ae08247 (diff) | |
extended inlining to deal with codeexprs
Diffstat (limited to 'Source/Core/ResolutionContext.cs')
| -rw-r--r-- | Source/Core/ResolutionContext.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Core/ResolutionContext.cs b/Source/Core/ResolutionContext.cs index b86e0a54..dcc9e346 100644 --- a/Source/Core/ResolutionContext.cs +++ b/Source/Core/ResolutionContext.cs @@ -567,7 +567,7 @@ namespace Microsoft.Boogie { public bool InFrame(Variable v) {
Contract.Requires(v != null);
Contract.Requires(Frame != null);
- return Frame.Any(f => f.Decl == v) || Yields;
+ return Yields || Frame.Any(f => f.Decl == v);
}
}
}
|