diff --git a/src/opt/dau/dauCanon.c b/src/opt/dau/dauCanon.c index 62ea7cc37..89359611e 100644 --- a/src/opt/dau/dauCanon.c +++ b/src/opt/dau/dauCanon.c @@ -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; }