From cad47254a01a1de62b91c2a2b91435e1cfa5b527 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 6 Oct 2012 19:27:19 -0700
Subject: Updating readme.

---
 src/base/main/mainUtils.c | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src')

diff --git a/src/base/main/mainUtils.c b/src/base/main/mainUtils.c
index 67bf3664..8d24a123 100644
--- a/src/base/main/mainUtils.c
+++ b/src/base/main/mainUtils.c
@@ -23,10 +23,10 @@
 
 #if !defined(_WIN32) && !defined(AIX) 
 // comment out the following line if 'readline' is not available
-#define ABC_USE_READ_LINE
+#define ABC_USE_READLINE
 #endif
 
-#ifdef ABC_USE_READ_LINE
+#ifdef ABC_USE_READLINE
 #include <readline/readline.h>
 #include <readline/history.h>
 #endif
@@ -76,7 +76,7 @@ char * Abc_UtilsGetUsersInput( Abc_Frame_t * pAbc )
 {
     static char Prompt[5000];
     sprintf( Prompt, "abc %02d> ", pAbc->nSteps );
-#ifdef ABC_USE_READ_LINE
+#ifdef ABC_USE_READLINE
     {
     static char * line = NULL;
     if (line != NULL) ABC_FREE(line);
-- 
cgit v1.2.3