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/bdd/cas/casCore.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/bdd')

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