diff options
Diffstat (limited to 'src/base/main/mainUtils.c')
-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); |