small fix to convert a conditional into a debug assert

boogie-org · Jan 1, 2020 · d9d8730 · d9d8730
1 parent 3eabc80
commit d9d8730
Showing 1 changed file with 3 additions and 5 deletions.
diff --git a/Source/Concurrency/YieldingProcDuplicator.cs b/Source/Concurrency/YieldingProcDuplicator.cs
@@ -347,11 +347,9 @@ private void ProcessParCallCmd(ParCallCmd parCall, ParCallCmd newParCall)
                         newCallCmds.Add(pair.Item2);
                     }
                 }
-                if (newCallCmds.Count > 0)
-                {
-                    newParCall.CallCmds = newCallCmds;
-                    newCmdSeq.Add(newParCall);
-                }
+                Debug.Assert(newCallCmds.Count > 0);
+                newParCall.CallCmds = newCallCmds;
+                newCmdSeq.Add(newParCall);
             }
         }