Added missing `static`.

This commit is contained in:
Heinz Riener 2019-01-12 16:39:29 +01:00
parent 6b554f10b8
commit e28a691b80
1 changed files with 1 additions and 1 deletions

View File

@ -302,7 +302,7 @@ void Abc_TtNormalizeSmallTruth(word * pTruth, int nVars)
}
}
inline void Abc_TtVerifySmallTruth(word * pTruth, int nVars)
static inline void Abc_TtVerifySmallTruth(word * pTruth, int nVars)
{
#ifndef NDEBUG
if (nVars < 6) {