From e7a15ef3363e69b24b70f0e5de5cecc56d501a2b Mon Sep 17 00:00:00 2001
From: Shaz Qadeer <qadeer@microsoft.com>
Date: Sun, 27 Sep 2015 22:46:45 -0700
Subject: fixed a small bug

---
 Source/Concurrency/TypeCheck.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source/Concurrency')

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)
-- 
cgit v1.2.3