From df2bce1e40bcc14710cc8e019b0ab5a01176c54f Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 26 Sep 2019 08:46:24 -0700 Subject: Fixing compilication problem related to Abc_TtVerifySmallTruth(). --- src/opt/dau/dauCanon.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/opt') diff --git a/src/opt/dau/dauCanon.c b/src/opt/dau/dauCanon.c index 8f11614c..62ea7cc3 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) { -- cgit v1.2.3