diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-07-03 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-07-03 08:01:00 -0700 |
| commit | a8db621dc96768cf2cf543be905d534579847020 (patch) | |
| tree | c5c11558d1adf35b474cebd78d89b2e5ae1bc1bc /src/opt/kit/kitTruth.c | |
| parent | d6804597a397379f826810a736ccbe99bf56c497 (diff) | |
| download | abc-a8db621dc96768cf2cf543be905d534579847020.tar.gz abc-a8db621dc96768cf2cf543be905d534579847020.tar.bz2 abc-a8db621dc96768cf2cf543be905d534579847020.zip | |
Version abc70703
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; |