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++ )
     {