diff --git a/src/aig/gia/giaAbsPth.c b/src/aig/gia/giaAbsPth.c
index e0069132a..187bfc026 100644
--- a/src/aig/gia/giaAbsPth.c
+++ b/src/aig/gia/giaAbsPth.c
@@ -22,7 +22,7 @@
 #include "proof/pdr/pdr.h"
 
 // comment this out to disable pthreads
-#define ABC_USE_PTHREADS
+//#define ABC_USE_PTHREADS
 
 #ifdef ABC_USE_PTHREADS