diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-07 20:36:33 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-07 20:36:33 -0700 |
| commit | c4b4ac70525b2120b90066f6f3644a60ff9031d6 (patch) | |
| tree | 065a0c986fbcef3ecd45be129ee1d649dfd0a1ec /src/bool/lucky | |
| parent | 99444597f7655673c2e8125a6b30068ab3cabea6 (diff) | |
| download | abc-c4b4ac70525b2120b90066f6f3644a60ff9031d6.tar.gz abc-c4b4ac70525b2120b90066f6f3644a60ff9031d6.tar.bz2 abc-c4b4ac70525b2120b90066f6f3644a60ff9031d6.zip | |
New semi-canonical form computation package.
Diffstat (limited to 'src/bool/lucky')
| -rw-r--r-- | src/bool/lucky/lucky.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/bool/lucky/lucky.h b/src/bool/lucky/lucky.h index cfe9de2e..7b866bc7 100644 --- a/src/bool/lucky/lucky.h +++ b/src/bool/lucky/lucky.h @@ -20,7 +20,7 @@ ABC_NAMESPACE_HEADER_START -extern unsigned Kit_TruthSemiCanonicize_new( unsigned * pInOut, unsigned * pAux, int nVars, char * pCanonPerm, short * pStore ); +extern unsigned Kit_TruthSemiCanonicize_new( unsigned * pInOut, unsigned * pAux, int nVars, char * pCanonPerm ); ABC_NAMESPACE_HEADER_END |