diff options
| author |  qadeer <unknown> | 2014-04-25 16:47:36 -0700 |
|---|---|---|
| committer | qadeer <unknown> | 2014-04-25 16:47:36 -0700 |
| commit | 1a114f457299c87f9e9548992659ffc726fe5e7a (patch) | |
| tree | fe1e6b9c3d79d8547c22db8fb5a7f44315f5b5ce /Source/Core/ResolutionContext.cs | |
| parent | b17515ca23fc7f5ae1fb8e6642366f761d0eeacf (diff) | |
updated the mover checks
Diffstat (limited to 'Source/Core/ResolutionContext.cs')
| -rw-r--r-- | Source/Core/ResolutionContext.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/Core/ResolutionContext.cs b/Source/Core/ResolutionContext.cs index eb27c82a..741d2ac5 100644 --- a/Source/Core/ResolutionContext.cs +++ b/Source/Core/ResolutionContext.cs @@ -622,8 +622,8 @@ namespace Microsoft.Boogie { public bool InFrame(Variable v) {
Contract.Requires(v != null);
- Contract.Requires(Yields || Frame != null);
- return Yields || Frame.Any(f => f.Decl == v);
+ Contract.Requires(Frame != null);
+ return Frame.Any(f => f.Decl == v);
}
}
}
|