From 6b2fe00cd82f0229777a6beb2390858834551399 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 1 Nov 2019 00:58:12 +0200 Subject: Changes to several APIs. --- src/base/acb/acb.h | 1 + 1 file changed, 1 insertion(+) (limited to 'src/base/acb') diff --git a/src/base/acb/acb.h b/src/base/acb/acb.h index 76188f2e..36300efd 100644 --- a/src/base/acb/acb.h +++ b/src/base/acb/acb.h @@ -416,6 +416,7 @@ static inline int Acb_ObjWhatFanin( Acb_Ntk_t * p, int iObj, int iFaninGiven ) static inline void Acb_ObjAddFanin( Acb_Ntk_t * p, int iObj, int iFanin ) { int * pFanins = Acb_ObjFanins( p, iObj ); + assert( iFanin > 0 ); assert( pFanins[ 1 + pFanins[0] ] == -1 ); pFanins[ 1 + pFanins[0]++ ] = iFanin; } -- cgit v1.2.3