diff options
| -rw-r--r-- | src/opt/dau/dauCanon.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/opt/dau/dauCanon.c b/src/opt/dau/dauCanon.c index ae9b7761..357da500 100644 --- a/src/opt/dau/dauCanon.c +++ b/src/opt/dau/dauCanon.c @@ -1440,7 +1440,6 @@ static int Abc_NextPermSwapC(char * pData, signed char * pDir, int size) } -typedef unsigned(*TtCanonicizeFunc)(Abc_TtHieMan_t * p, word * pTruth, int nVars, char * pCanonPerm, int flag); unsigned Abc_TtCanonicizeWrap(TtCanonicizeFunc func, Abc_TtHieMan_t * p, word * pTruth, int nVars, char * pCanonPerm, int flag) { int nWords = Abc_TtWordNum(nVars); |