diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-11-05 15:27:33 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-11-05 15:27:33 -0800 |
| commit | 6b7aa389a67e4b2de33360f150cac27690226b65 (patch) | |
| tree | c591349c1470b6caabd52dc045495ea01899008a /src/opt/fret/fretMain.c | |
| parent | c610c036616d0b06e9036c4d17be6168619a6332 (diff) | |
| download | abc-6b7aa389a67e4b2de33360f150cac27690226b65.tar.gz abc-6b7aa389a67e4b2de33360f150cac27690226b65.tar.bz2 abc-6b7aa389a67e4b2de33360f150cac27690226b65.zip | |
Improvements to storing and reusing simulation info.
Diffstat (limited to 'src/opt/fret/fretMain.c')
| -rw-r--r-- | src/opt/fret/fretMain.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/opt/fret/fretMain.c b/src/opt/fret/fretMain.c index 2367007d..534b6df8 100644 --- a/src/opt/fret/fretMain.c +++ b/src/opt/fret/fretMain.c @@ -1322,7 +1322,7 @@ Abc_FlowRetime_UpdateLags( ) { int Abc_FlowRetime_GetLag( Abc_Obj_t *pObj ) { assert( !Abc_ObjIsLatch(pObj) ); - assert( Abc_ObjId(pObj) < Vec_IntSize(pManMR->vLags) ); + assert( (int)Abc_ObjId(pObj) < Vec_IntSize(pManMR->vLags) ); return Vec_IntEntry(pManMR->vLags, Abc_ObjId(pObj)); } @@ -1341,7 +1341,7 @@ Abc_FlowRetime_GetLag( Abc_Obj_t *pObj ) { void Abc_FlowRetime_SetLag( Abc_Obj_t *pObj, int lag ) { assert( Abc_ObjIsNode(pObj) ); - assert( Abc_ObjId(pObj) < Vec_IntSize(pManMR->vLags) ); + assert( (int)Abc_ObjId(pObj) < Vec_IntSize(pManMR->vLags) ); Vec_IntWriteEntry(pManMR->vLags, Abc_ObjId(pObj), lag); } |