diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2021-08-01 12:14:38 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2021-08-01 12:14:38 -0700 |
| commit | 03bb1e49bfcc148faaa4981bb3d758514adfeb4d (patch) | |
| tree | 6e8c2a81589cd57bfe20374b7bb247f6c082c1bd /src/misc/util | |
| parent | 4cf906d2fc64f5f27fd1f01580b89a60c4ee7e61 (diff) | |
| download | abc-03bb1e49bfcc148faaa4981bb3d758514adfeb4d.tar.gz abc-03bb1e49bfcc148faaa4981bb3d758514adfeb4d.tar.bz2 abc-03bb1e49bfcc148faaa4981bb3d758514adfeb4d.zip | |
Experiments with LUT mapping for small functions.
Diffstat (limited to 'src/misc/util')
| -rw-r--r-- | src/misc/util/utilTruth.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/misc/util/utilTruth.h b/src/misc/util/utilTruth.h index 01a2a369..4c4b1422 100644 --- a/src/misc/util/utilTruth.h +++ b/src/misc/util/utilTruth.h @@ -1804,7 +1804,7 @@ static inline word Abc_Tt6Permute_rec( word t, int * pPerm, int nVars ) } static inline void Abc_TtPermute( word * p, int * pPerm, int nVars ) { - int v, nWords = Abc_TtWordNum(nVars), Perm[16]; + int v, Perm[16]; assert( nVars <= 16 ); for ( v = 0; v < nVars; v++ ) Perm[v] = pPerm[v]; |