summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abcMiter.c
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2021-08-23 19:56:26 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2021-08-23 19:56:26 -0700
commit85a94766a6b4e1870279110a8620cba92832367f (patch)
treecd387f17e1110d079e313043ca912e264602f2d5 /src/base/abci/abcMiter.c
parent67c47fa44aaa566d10abb154b3f89a9d427f5581 (diff)
downloadabc-85a94766a6b4e1870279110a8620cba92832367f.tar.gz
abc-85a94766a6b4e1870279110a8620cba92832367f.tar.bz2
abc-85a94766a6b4e1870279110a8620cba92832367f.zip
Compiler warnings.
Diffstat (limited to 'src/base/abci/abcMiter.c')
-rw-r--r--src/base/abci/abcMiter.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/abci/abcMiter.c b/src/base/abci/abcMiter.c
index 81b032d4..6086fc61 100644
--- a/src/base/abci/abcMiter.c
+++ b/src/base/abci/abcMiter.c
@@ -863,7 +863,7 @@ void Abc_NtkAddFrame( Abc_Ntk_t * pNtkFrames, Abc_Ntk_t * pNtk, int iFrame )
{
int fVerbose = 0;
int NodeBef = Abc_NtkNodeNum(pNtkFrames);
- char Buffer[10];
+ char Buffer[16];
Abc_Obj_t * pNode, * pLatch;
int i;
// create the prefix to be added to the node names
@@ -1008,7 +1008,7 @@ Abc_Ntk_t * Abc_NtkFrames2( Abc_Ntk_t * pNtk, int nFrames, int fInitial, AddFram
void Abc_NtkAddFrame2( Abc_Ntk_t * pNtkFrames, Abc_Ntk_t * pNtk, int iFrame, Vec_Ptr_t * vNodes, AddFrameMapping addFrameMapping, void* arg )
{
/*
- char Buffer[10];
+ char Buffer[16];
Abc_Obj_t * pNode, * pNodeNew, * pLatch;
Abc_Obj_t * pConst1, * pConst1New;
int i;