diff --git a/src/opt/dau/dauCanon.c b/src/opt/dau/dauCanon.c index 8f11614ca..62ea7cc37 100644 --- a/src/opt/dau/dauCanon.c +++ b/src/opt/dau/dauCanon.c @@ -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) {