diff options
Diffstat (limited to 'src/misc')
-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]; |