diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2006-10-07 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2006-10-07 08:01:00 -0700 |
| commit | 73bb7932f7edad95086d67a795444537c438309e (patch) | |
| tree | 43ce6255913e15ecb3f4f8a41ac531d6679ddcf1 /src/base/abci/abcDsd.c | |
| parent | 0da555cb481696efd78d9c5dc6293b6a95d1ffd5 (diff) | |
| download | abc-73bb7932f7edad95086d67a795444537c438309e.tar.gz abc-73bb7932f7edad95086d67a795444537c438309e.tar.bz2 abc-73bb7932f7edad95086d67a795444537c438309e.zip | |
Version abc61007
Diffstat (limited to 'src/base/abci/abcDsd.c')
| -rw-r--r-- | src/base/abci/abcDsd.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abcDsd.c b/src/base/abci/abcDsd.c index cd8f9047..6708217c 100644 --- a/src/base/abci/abcDsd.c +++ b/src/base/abci/abcDsd.c @@ -172,7 +172,7 @@ void Abc_NtkDsdConstruct( Dsd_Manager_t * pManDsd, Abc_Ntk_t * pNtk, Abc_Ntk_t * int i, nNodesDsd; // save the CI nodes in the DSD nodes - Dsd_NodeSetMark( Dsd_ManagerReadConst1(pManDsd), (int)Abc_AigConst1(pNtkNew) ); + Dsd_NodeSetMark( Dsd_ManagerReadConst1(pManDsd), (int)Abc_NodeCreateConst1(pNtkNew) ); Abc_NtkForEachCi( pNtk, pNode, i ) { pNodeDsd = Dsd_ManagerReadInput( pManDsd, i ); |