Fixing compilication problem related to shiftFunc().

This commit is contained in:
Alan Mishchenko 2019-09-27 11:00:44 -07:00
parent b292595062
commit cdabd42a26
1 changed files with 1 additions and 1 deletions

View File

@ -369,7 +369,7 @@ int Abc_TtCountOnesInCofsSimple( word * pTruth, int nVars, int * pStore )
}
// Shifted Cofactor Coefficient
inline int shiftFunc(int ci)
static inline int shiftFunc(int ci)
//{ return ci * ci; }
{ return 1 << ci; }