summaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
authoralanminko <37236958+alanminko@users.noreply.github.com>2019-01-12 08:19:36 -0800
committerGitHub <noreply@github.com>2019-01-12 08:19:36 -0800
commit9e419f538ffd554b65e4f998b99d4a409546db4e (patch)
tree60c058fb5353ef50937fcae1fb40baea6f7cf942 /src
parent6b554f10b8e4db1b2905160b4bc6e5f5ae7303f1 (diff)
parente28a691b8075dcafa11a9f689c3529ce124b5055 (diff)
downloadabc-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.c2
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) {