Correcting comment related to pthreads.

4ab0c4b2 · Alan Mishchenko · 6f038135 · 4ab0c4b2
Commit 4ab0c4b2 authored Sep 24, 2012 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

src/proof/abs/absPth.c
+1 -1

No files found.
--- 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