diff options
Diffstat (limited to 'src/sat')
| -rw-r--r-- | src/sat/bmc/bmcMaj.c | 2 |
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 ) |