diff --git a/src/proof/abs/absPth.c b/src/proof/abs/absPth.c
index d1fed9506..8f50cc66e 100644
--- a/src/proof/abs/absPth.c
+++ b/src/proof/abs/absPth.c
@@ -24,7 +24,7 @@
 
 // to compile on Linux, add -lpthread to LIBS in Makefile
 
-// uncomment this line to enable pthreads
+// comment out this line to disable pthreads
 #define ABC_USE_PTHREADS
 
 #ifdef ABC_USE_PTHREADS