diff options
| author |  Shaz Qadeer <qadeer@microsoft.com> | 2015-09-27 22:46:45 -0700 |
|---|---|---|
| committer | Shaz Qadeer <qadeer@microsoft.com> | 2015-09-27 22:46:45 -0700 |
| commit | e7a15ef3363e69b24b70f0e5de5cecc56d501a2b (patch) | |
| tree | 8fc7b129e85589407d4c3df422fbf644afa830cf /Source/Concurrency | |
| parent | 67ae2df042134ab49c5d9e055213b2c052033962 (diff) | |
fixed a small bug
Diffstat (limited to 'Source/Concurrency')
| -rw-r--r-- | Source/Concurrency/TypeCheck.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Concurrency/TypeCheck.cs b/Source/Concurrency/TypeCheck.cs index e5c5999d..79424303 100644 --- a/Source/Concurrency/TypeCheck.cs +++ b/Source/Concurrency/TypeCheck.cs @@ -386,7 +386,7 @@ namespace Microsoft.Boogie else if (callCmd.Proc.Modifies.Count == 0) { if (callCmd.Outs.Count == 0) - return false; + return true; var outputVar = callCmd.Outs[0].Decl; Debug.Assert(localVarToLocalVariableInfo.ContainsKey(outputVar)); if (localVarToLocalVariableInfo[outputVar].isGhost) |