diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-07-24 11:44:28 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-07-24 11:44:28 +0700 |
| commit | ee1bd8f0bee0678a289e086676adad2f35e3e2ae (patch) | |
| tree | 843f47af624fa07ddc62828cc37d0e102ded5730 /src/bdd | |
| parent | 0ca7e355f457363bc78de8468df1e66e61b5e8b0 (diff) | |
| download | abc-ee1bd8f0bee0678a289e086676adad2f35e3e2ae.tar.gz abc-ee1bd8f0bee0678a289e086676adad2f35e3e2ae.tar.bz2 abc-ee1bd8f0bee0678a289e086676adad2f35e3e2ae.zip | |
Fixing some update gcc.
Diffstat (limited to 'src/bdd')
| -rw-r--r-- | src/bdd/cas/casCore.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/bdd/cas/casCore.c b/src/bdd/cas/casCore.c index b283d6f0..21c21d20 100644 --- a/src/bdd/cas/casCore.c +++ b/src/bdd/cas/casCore.c @@ -258,7 +258,7 @@ int Abc_CascadeExperiment( char * pFileGeneric, DdManager * dd, DdNode ** pOutpu // verify the results if ( fCheck ) { - char Command[200]; + char Command[300]; sprintf( Command, "cec %s %s", FileNameIni, FileNameFin ); Cmd_CommandExecute( Abc_FrameGetGlobalFrame(), Command ); } |