summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2012-09-24 20:53:26 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2012-09-24 20:53:26 -0700
commit4ab0c4b204b4c3cb71155b78b258051baafed7c0 (patch)
treead7246af4f630055196a714084982773bf486048
parent6f03813557ba8aa9ad4d228984bc569b840ddb6c (diff)
downloadabc-4ab0c4b204b4c3cb71155b78b258051baafed7c0.tar.gz
abc-4ab0c4b204b4c3cb71155b78b258051baafed7c0.tar.bz2
abc-4ab0c4b204b4c3cb71155b78b258051baafed7c0.zip
Correcting comment related to pthreads.
-rw-r--r--src/proof/abs/absPth.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/abs/absPth.c b/src/proof/abs/absPth.c
index d1fed950..8f50cc66 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