diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-22 18:31:46 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-22 18:31:46 -0700 |
| commit | d80efa1b49f5af926d0d07919034ab1b95b1ce78 (patch) | |
| tree | b8115c84dc62151dfa2709ee1ff1521a48a1b5d6 /src/misc/extra/extraUtilCube.c | |
| parent | 375b46a355608c119a7dc44eb78468d83e0809b9 (diff) | |
| download | abc-d80efa1b49f5af926d0d07919034ab1b95b1ce78.tar.gz abc-d80efa1b49f5af926d0d07919034ab1b95b1ce78.tar.bz2 abc-d80efa1b49f5af926d0d07919034ab1b95b1ce78.zip | |
Bug fix in if -g when choices are used.
Diffstat (limited to 'src/misc/extra/extraUtilCube.c')
| -rw-r--r-- | src/misc/extra/extraUtilCube.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/misc/extra/extraUtilCube.c b/src/misc/extra/extraUtilCube.c index b08a4a21..7c3bc6aa 100644 --- a/src/misc/extra/extraUtilCube.c +++ b/src/misc/extra/extraUtilCube.c @@ -32,7 +32,7 @@ ABC_NAMESPACE_IMPL_START //////////////////////////////////////////////////////////////////////// static inline void Abc_StatePush( Vec_Int_t * vData, char * pState, int k ) { int i; for ( i = 0; i < 6; i++ ) Vec_IntWriteEntry(vData, 6*k+i, ((int*)pState)[i]); } -static inline void Abc_StatePerm( char * pState, char * pPerm, char * pRes ) { int i; for ( i = 0; i < 24; i++ ) pRes[i] = pState[pPerm[i]]; } +static inline void Abc_StatePerm( char * pState, char * pPerm, char * pRes ) { int i; for ( i = 0; i < 24; i++ ) pRes[i] = pState[(int)pPerm[i]]; } static inline void Abc_StatePrint( char * pState ) { int i; for ( i = 0; i < 24; i++ ) printf(" %2d", pState[i]); printf( "\n" ); } //////////////////////////////////////////////////////////////////////// |