diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2005-11-27 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2005-11-27 08:01:00 -0800 |
| commit | 3a1ca9fa0ebfb2ae431501067d1a1a63fe6ecba5 (patch) | |
| tree | d574e57b40998f09f5868ffd1be35b8c7baf5f27 /src/base/seq/seqLatch.c | |
| parent | e3c40ed61ee3febefb002d3b929f157ccdffca81 (diff) | |
| download | abc-3a1ca9fa0ebfb2ae431501067d1a1a63fe6ecba5.tar.gz abc-3a1ca9fa0ebfb2ae431501067d1a1a63fe6ecba5.tar.bz2 abc-3a1ca9fa0ebfb2ae431501067d1a1a63fe6ecba5.zip | |
Version abc51127
Diffstat (limited to 'src/base/seq/seqLatch.c')
| -rw-r--r-- | src/base/seq/seqLatch.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/base/seq/seqLatch.c b/src/base/seq/seqLatch.c index 8f861004..cb3e1e36 100644 --- a/src/base/seq/seqLatch.c +++ b/src/base/seq/seqLatch.c @@ -61,6 +61,7 @@ void Seq_NodeInsertFirst( Abc_Obj_t * pObj, int Edge, Abc_InitType_t Init ) } Seq_LatSetInit( pLat, Init ); Seq_ObjAddFaninL( pObj, Edge, 1 ); + assert( pLat->pLatch == NULL ); } /**Function************************************************************* |