diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-09 00:37:05 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-09 00:37:05 -0800 |
| commit | 200c5cc65951dc48377c6932486e6532944d7e39 (patch) | |
| tree | 487e51981c80a74df7c8e7fac6607ebb434536f9 /src/base/main | |
| parent | 07405ca1c502efcf26d1fb83e82cfcd42b837281 (diff) | |
| download | abc-200c5cc65951dc48377c6932486e6532944d7e39.tar.gz abc-200c5cc65951dc48377c6932486e6532944d7e39.tar.bz2 abc-200c5cc65951dc48377c6932486e6532944d7e39.zip | |
Added support for generating a library of real-life truth-tables.
Diffstat (limited to 'src/base/main')
| -rw-r--r-- | src/base/main/mainUtils.c | 4 |
1 files changed, 2 insertions, 2 deletions
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); |