diff --git a/src/proof/ssw/sswPart.c b/src/proof/ssw/sswPart.c
index dc8d87522..a01885b2f 100644
--- a/src/proof/ssw/sswPart.c
+++ b/src/proof/ssw/sswPart.c
@@ -117,7 +117,7 @@ void * Ssw_GiaWorkerThread( void * pArg )
     Par_ScorrThData_t * pThData = (Par_ScorrThData_t *)pArg;
     while ( 1 )
     {
-        while ( !atomic_load_explicit((volatile int *)&pThData->fWorking, memory_order_acquire) )
+        while ( !atomic_load_explicit((atomic_bool *)&pThData->fWorking, memory_order_acquire) )
             nanosleep(&pause_duration, NULL);
         if ( pThData->p == NULL )
         {