diff options
Diffstat (limited to 'src/base/io/ioReadBench.c')
| -rw-r--r-- | src/base/io/ioReadBench.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/base/io/ioReadBench.c b/src/base/io/ioReadBench.c index 393b2216..988cabfb 100644 --- a/src/base/io/ioReadBench.c +++ b/src/base/io/ioReadBench.c @@ -114,7 +114,10 @@ Abc_Ntk_t * Io_ReadBenchNetwork( Extra_FileReader_t * p ) // get the node name and the node type pType = vTokens->pArray[1]; if ( strcmp(pType, "DFF") == 0 ) - Io_ReadCreateLatch( pNtk, vTokens->pArray[2], vTokens->pArray[0] ); + { + pNode = Io_ReadCreateLatch( pNtk, vTokens->pArray[2], vTokens->pArray[0] ); + Abc_LatchSetInit0( pNode ); + } else { // create a new node and add it to the network |