From 36d5ef4e6239b51cebc46229ab977696f0152d83 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 4 May 2013 11:10:25 -0700
Subject: Making changes suggested by Mark Jarvin.

---
 src/base/cmd/cmdStarter.c | 5 +----
 src/base/main/mainUtils.c | 5 -----
 src/proof/abs/absPth.c    | 7 +------
 3 files changed, 2 insertions(+), 15 deletions(-)

(limited to 'src')

diff --git a/src/base/cmd/cmdStarter.c b/src/base/cmd/cmdStarter.c
index 21384930..bfdd480c 100644
--- a/src/base/cmd/cmdStarter.c
+++ b/src/base/cmd/cmdStarter.c
@@ -25,12 +25,9 @@
 #include "misc/util/abc_global.h"
 #include "misc/extra/extra.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>
diff --git a/src/base/main/mainUtils.c b/src/base/main/mainUtils.c
index 8d24a123..2b4e682b 100644
--- a/src/base/main/mainUtils.c
+++ b/src/base/main/mainUtils.c
@@ -21,11 +21,6 @@
 #include "base/abc/abc.h"
 #include "mainInt.h"
 
-#if !defined(_WIN32) && !defined(AIX) 
-// comment out the following line if 'readline' is not available
-#define ABC_USE_READLINE
-#endif
-
 #ifdef ABC_USE_READLINE
 #include <readline/readline.h>
 #include <readline/history.h>
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>
-- 
cgit v1.2.3