diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-04 11:10:25 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-04 11:10:25 -0700 |
commit | 36d5ef4e6239b51cebc46229ab977696f0152d83 (patch) | |
tree | 08e3fbc164544a4f661a2eb3d6c09254888648fe /src/proof/abs | |
parent | 95571be5036ac760e82ee86f4faf2418a5a23a32 (diff) | |
download | abc-36d5ef4e6239b51cebc46229ab977696f0152d83.tar.gz abc-36d5ef4e6239b51cebc46229ab977696f0152d83.tar.bz2 abc-36d5ef4e6239b51cebc46229ab977696f0152d83.zip |
Making changes suggested by Mark Jarvin.
Diffstat (limited to 'src/proof/abs')
-rw-r--r-- | src/proof/abs/absPth.c | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/src/proof/abs/absPth.c b/src/proof/abs/absPth.c index ef38369c..bd3f2dcb 100644 --- a/src/proof/abs/absPth.c +++ b/src/proof/abs/absPth.c @@ -23,14 +23,9 @@ #include "proof/ssw/ssw.h" - - -// comment out this line to disable pthreads -#define ABC_USE_PTHREADS - #ifdef ABC_USE_PTHREADS -#ifdef WIN32 +#ifdef _WIN32 #include "../lib/pthread.h" #else #include <pthread.h> |