diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-04-22 16:49:21 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-04-22 16:49:21 -0700 |
| commit | 978b5db0397ae062cf4a4818eb2e76b9804bdce3 (patch) | |
| tree | 99d390cf28760af8abb3b9d6ad4064a9dc5ec332 /src/base/wln/wln.h | |
| parent | 94a2cffefe47754fb9ec6679999841cab629d50b (diff) | |
| download | abc-978b5db0397ae062cf4a4818eb2e76b9804bdce3.tar.gz abc-978b5db0397ae062cf4a4818eb2e76b9804bdce3.tar.bz2 abc-978b5db0397ae062cf4a4818eb2e76b9804bdce3.zip | |
Fix a bug in comb loop detection.
Diffstat (limited to 'src/base/wln/wln.h')
| -rw-r--r-- | src/base/wln/wln.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/wln/wln.h b/src/base/wln/wln.h index 22247893..510d74c1 100644 --- a/src/base/wln/wln.h +++ b/src/base/wln/wln.h @@ -218,7 +218,7 @@ static inline int Wln_ObjRiToRo( Wln_Ntk_t * p, int i ) /*=== wlcNdr.c ========================================================*/ extern Wln_Ntk_t * Wln_ReadNdr( char * pFileName ); extern void Wln_WriteNdr( Wln_Ntk_t * pNtk, char * pFileName ); -extern Wln_Ntk_t * Wln_NtkFromNdr( void * pData ); +extern Wln_Ntk_t * Wln_NtkFromNdr( void * pData, int fDump ); extern void * Wln_NtkToNdr( Wln_Ntk_t * pNtk ); /*=== wlcNtk.c ========================================================*/ extern Wln_Ntk_t * Wln_NtkAlloc( char * pName, int nObjsMax ); |