diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-04-08 18:37:32 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-04-08 18:37:32 -0700 |
| commit | fe3d334151dd3b81dca4beaa8635d89d3f8b2d71 (patch) | |
| tree | 5c50903e80559e076f2fdc0144bc6ba9af83fadc /src/base/acb/acbUtil.c | |
| parent | dd51c2993458d4c76442bbb5bf1ca00b5d207c35 (diff) | |
| download | abc-fe3d334151dd3b81dca4beaa8635d89d3f8b2d71.tar.gz abc-fe3d334151dd3b81dca4beaa8635d89d3f8b2d71.tar.bz2 abc-fe3d334151dd3b81dca4beaa8635d89d3f8b2d71.zip | |
Experiments with hashing.
Diffstat (limited to 'src/base/acb/acbUtil.c')
| -rw-r--r-- | src/base/acb/acbUtil.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/acb/acbUtil.c b/src/base/acb/acbUtil.c index 1c47bf65..2d56a553 100644 --- a/src/base/acb/acbUtil.c +++ b/src/base/acb/acbUtil.c @@ -455,7 +455,7 @@ void Acb_NtkSaveSupport( Acb_Ntk_t * p, int iObj ) } void Acb_NtkUpdateNode( Acb_Ntk_t * p, int Pivot, word uTruth, Vec_Int_t * vSupp ) { - int Level = Acb_ObjLevelD(p, Pivot); + //int Level = Acb_ObjLevelD(p, Pivot); Acb_NtkSaveSupport( p, Pivot ); //Acb_NtkPrintNode( p, Pivot ); Acb_NtkResetNode( p, Pivot, uTruth, vSupp ); |