diff options
author | alanminko <37236958+alanminko@users.noreply.github.com> | 2019-01-12 08:19:36 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-01-12 08:19:36 -0800 |
commit | 9e419f538ffd554b65e4f998b99d4a409546db4e (patch) | |
tree | 60c058fb5353ef50937fcae1fb40baea6f7cf942 /src | |
parent | 6b554f10b8e4db1b2905160b4bc6e5f5ae7303f1 (diff) | |
parent | e28a691b8075dcafa11a9f689c3529ce124b5055 (diff) | |
download | abc-9e419f538ffd554b65e4f998b99d4a409546db4e.tar.gz abc-9e419f538ffd554b65e4f998b99d4a409546db4e.tar.bz2 abc-9e419f538ffd554b65e4f998b99d4a409546db4e.zip |
Merge pull request #33 from hriener/common
Added missing `static`.
Diffstat (limited to 'src')
-rw-r--r-- | src/opt/dau/dauCanon.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/dau/dauCanon.c b/src/opt/dau/dauCanon.c index 357da500..ce0d1857 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) { |