1 files changed, 4 insertions, 2 deletions
diff --git a/src/map/mio/mioFunc.c b/src/map/mio/mioFunc.c
index 59df45f5..536f5496 100644
--- a/src/map/mio/mioFunc.c
+++ b/src/map/mio/mioFunc.c
@@ -75,12 +75,13 @@ char * Mio_SopRegister( Mem_Flex_t * pMan, char * pName )
 ***********************************************************************/
 int Mio_GateCollectNames( char * pFormula, char * pPinNames[] )
 {
-    char Buffer[1000];
+    char * Buffer;
     char * pTemp;
     int nPins, i;
 
     // save the formula as it was
-    strcpy( Buffer, pFormula );
+    //strcpy( Buffer, pFormula );
+    Buffer = Abc_UtilStrsav( pFormula );
 
     // remove the non-name symbols
     for ( pTemp = Buffer; *pTemp; pTemp++ )
@@ -106,6 +107,7 @@ int Mio_GateCollectNames( char * pFormula, char * pPinNames[] )
         // get the next name
         pTemp = strtok( NULL, " " );
     }
+    ABC_FREE( Buffer );
     return nPins;
 }