From ee1bd8f0bee0678a289e086676adad2f35e3e2ae Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 24 Jul 2019 11:44:28 +0700
Subject: Fixing some update gcc.

---
 src/sat/bmc/bmcMaj.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/sat')

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 )
-- 
cgit v1.2.3