From 200c5cc65951dc48377c6932486e6532944d7e39 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 9 Dec 2011 00:37:05 -0800
Subject: Added support for generating a library of real-life truth-tables.

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

(limited to 'src/base/main')

diff --git a/src/base/main/mainUtils.c b/src/base/main/mainUtils.c
index dadcbdd1..c849a53d 100644
--- a/src/base/main/mainUtils.c
+++ b/src/base/main/mainUtils.c
@@ -70,7 +70,7 @@ char * Abc_UtilsGetVersion( Abc_Frame_t * pAbc )
 ***********************************************************************/
 char * Abc_UtilsGetUsersInput( Abc_Frame_t * pAbc )
 {
-    static char Prompt[1000];
+    static char Prompt[5000];
 #ifndef _WIN32
     static char * line = NULL;
 #endif
@@ -78,7 +78,7 @@ char * Abc_UtilsGetUsersInput( Abc_Frame_t * pAbc )
     sprintf( Prompt, "abc %02d> ", pAbc->nSteps );
 #ifdef _WIN32
     fprintf( pAbc->Out, "%s", Prompt );
-    fgets( Prompt, 999, stdin );
+    fgets( Prompt, 5000, stdin );
     return Prompt;
 #else
     if (line != NULL) ABC_FREE(line);
-- 
cgit v1.2.3