diff options
Diffstat (limited to 'src/opt/ret/retIncrem.c')
| -rw-r--r-- | src/opt/ret/retIncrem.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/ret/retIncrem.c b/src/opt/ret/retIncrem.c index 0a44276d..9137f151 100644 --- a/src/opt/ret/retIncrem.c +++ b/src/opt/ret/retIncrem.c @@ -176,7 +176,7 @@ int Abc_NtkRetimeFinalizeLatches( Abc_Ntk_t * pNtk, st__table * tLatches, int nI { // this is an old latch // get its number in the original order - if ( ! st__lookup( tLatches, (char *)pLatch, (char **)&Index ) ) + if ( ! st__lookup_int( tLatches, (char *)pLatch, &Index ) ) { printf( "Abc_NtkRetimeFinalizeLatches(): Internal error.\n" ); return 0; |