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/aig/aig | |
parent | 0ca7e355f457363bc78de8468df1e66e61b5e8b0 (diff) | |
download | abc-ee1bd8f0bee0678a289e086676adad2f35e3e2ae.tar.gz abc-ee1bd8f0bee0678a289e086676adad2f35e3e2ae.tar.bz2 abc-ee1bd8f0bee0678a289e086676adad2f35e3e2ae.zip |
Fixing some update gcc.
Diffstat (limited to 'src/aig/aig')
-rw-r--r-- | src/aig/aig/aigUtil.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/aig/aigUtil.c b/src/aig/aig/aigUtil.c index 767015c9..52f9a184 100644 --- a/src/aig/aig/aigUtil.c +++ b/src/aig/aig/aigUtil.c @@ -725,7 +725,7 @@ void Aig_ManPrintVerbose( Aig_Man_t * p, int fHaig ) void Aig_ManDump( Aig_Man_t * p ) { static int Counter = 0; - char FileName[20]; + char FileName[200]; // dump the logic into a file sprintf( FileName, "aigbug\\%03d.blif", ++Counter ); Aig_ManDumpBlif( p, FileName, NULL, NULL ); |