diff options
| -rw-r--r-- | Makefile | 2 | ||||
| -rw-r--r-- | src/opt/ret/retIncrem.c | 2 |
2 files changed, 2 insertions, 2 deletions
@@ -72,7 +72,7 @@ endif endif # LIBS := -ldl -lrt -LIBS += -ldl +LIBS += -ldl -lm ifneq ($(findstring Darwin, $(shell uname)), Darwin) LIBS += -lrt endif 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; |