diff options
Diffstat (limited to 'Source/Concurrency/TypeCheck.cs')
-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) |