From a3942996e7adfc145cb0282ef44452e202d751bf Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 25 Jul 2023 12:53:50 -0700
Subject: [PATCH] Bug fix in &splitprove.

---
 src/proof/cec/cecSplit.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/proof/cec/cecSplit.c b/src/proof/cec/cecSplit.c
index e2fa8ff1d..34a635b88 100644
--- a/src/proof/cec/cecSplit.c
+++ b/src/proof/cec/cecSplit.c
@@ -705,7 +705,7 @@ finish:
     // wait till threads finish
     for ( i = 0; i < nProcs; i++ )
         if ( ThData[i].fWorking )
-            i = 0;
+            i = -1;
     // stop threads
     for ( i = 0; i < nProcs; i++ )
     {