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 | |
| 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`.
| -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) { |