diff options
Diffstat (limited to 'src/aig/ntl/ntlCheck.c')
| -rw-r--r-- | src/aig/ntl/ntlCheck.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/ntl/ntlCheck.c b/src/aig/ntl/ntlCheck.c index 9fd4af9f..c5c62433 100644 --- a/src/aig/ntl/ntlCheck.c +++ b/src/aig/ntl/ntlCheck.c @@ -158,7 +158,7 @@ void Ntl_ModelFixNonDrivenNets( Ntl_Mod_t * pModel ) continue; // add the constant 0 driver pNode = Ntl_ModelCreateNode( pModel, 0 ); - pNode->pSop = Ntl_ManStoreSop( pModel->pMan, " 0\n" ); + pNode->pSop = Ntl_ManStoreSop( pModel->pMan->pMemSops, " 0\n" ); Ntl_ModelSetNetDriver( pNode, pNet ); // add the net to those for which the warning will be printed Vec_PtrPush( vNets, pNet ); |