summaryrefslogtreecommitdiffstats
path: root/src/sat
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2019-07-24 11:44:28 +0700
committerAlan Mishchenko <alanmi@berkeley.edu>2019-07-24 11:44:28 +0700
commitee1bd8f0bee0678a289e086676adad2f35e3e2ae (patch)
tree843f47af624fa07ddc62828cc37d0e102ded5730 /src/sat
parent0ca7e355f457363bc78de8468df1e66e61b5e8b0 (diff)
downloadabc-ee1bd8f0bee0678a289e086676adad2f35e3e2ae.tar.gz
abc-ee1bd8f0bee0678a289e086676adad2f35e3e2ae.tar.bz2
abc-ee1bd8f0bee0678a289e086676adad2f35e3e2ae.zip
Fixing some update gcc.
Diffstat (limited to 'src/sat')
-rw-r--r--src/sat/bmc/bmcMaj.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/bmc/bmcMaj.c b/src/sat/bmc/bmcMaj.c
index 08571a3b..fc77398a 100644
--- a/src/sat/bmc/bmcMaj.c
+++ b/src/sat/bmc/bmcMaj.c
@@ -577,7 +577,7 @@ static inline int Exa_ManEval( Exa_Man_t * p )
void Exa_ManDumpBlif( Exa_Man_t * p, int fCompl )
{
char Buffer[1000];
- char FileName[1000];
+ char FileName[1100];
FILE * pFile;
int i, k, iVar;
if ( fCompl )