diff options
Diffstat (limited to 'src/opt/kit/kitTruth.c')
-rw-r--r-- | src/opt/kit/kitTruth.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/kit/kitTruth.c b/src/opt/kit/kitTruth.c index 73264661..dbf222c2 100644 --- a/src/opt/kit/kitTruth.c +++ b/src/opt/kit/kitTruth.c @@ -854,7 +854,7 @@ void Kit_TruthForallSet( unsigned * pRes, unsigned * pTruth, int nVars, unsigned SeeAlso [] ***********************************************************************/ -void Kit_TruthMux( unsigned * pOut, unsigned * pCof0, unsigned * pCof1, int nVars, int iVar ) +void Kit_TruthMuxVar( unsigned * pOut, unsigned * pCof0, unsigned * pCof1, int nVars, int iVar ) { int nWords = Kit_TruthWordNum( nVars ); int i, k, Step; |