diff options
| author | Heinz Riener <heinz.riener@gmail.com> | 2019-01-12 16:39:29 +0100 |
|---|---|---|
| committer | Heinz Riener <heinz.riener@gmail.com> | 2019-01-12 16:39:29 +0100 |
| commit | e28a691b8075dcafa11a9f689c3529ce124b5055 (patch) | |
| tree | 60c058fb5353ef50937fcae1fb40baea6f7cf942 /src/opt | |
| parent | 6b554f10b8e4db1b2905160b4bc6e5f5ae7303f1 (diff) | |
| download | abc-e28a691b8075dcafa11a9f689c3529ce124b5055.tar.gz abc-e28a691b8075dcafa11a9f689c3529ce124b5055.tar.bz2 abc-e28a691b8075dcafa11a9f689c3529ce124b5055.zip | |
Added missing `static`.
Diffstat (limited to 'src/opt')
| -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) { |