diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-03 21:49:18 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-03 21:49:18 -0700 |
| commit | 56d3d7cd22f761004139a0512681eac57e638cfc (patch) | |
| tree | 524b94bee7e1dfbdf14c8ff1dbba271a97abaf13 /src/bool/lucky/luckySwapIJ.c | |
| parent | 63c95405439b464f6d801e68c15f767bc6336637 (diff) | |
| download | abc-56d3d7cd22f761004139a0512681eac57e638cfc.tar.gz abc-56d3d7cd22f761004139a0512681eac57e638cfc.tar.bz2 abc-56d3d7cd22f761004139a0512681eac57e638cfc.zip | |
C++ portability changes.
Diffstat (limited to 'src/bool/lucky/luckySwapIJ.c')
| -rw-r--r-- | src/bool/lucky/luckySwapIJ.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/bool/lucky/luckySwapIJ.c b/src/bool/lucky/luckySwapIJ.c index 9901f9cb..d1170f45 100644 --- a/src/bool/lucky/luckySwapIJ.c +++ b/src/bool/lucky/luckySwapIJ.c @@ -76,7 +76,7 @@ void swap_ij_case3( word* f,int totalVars, int i, int j) shift = (wwj - wwi)/2; WORDS_IN_TT = Kit_TruthWordNum_64bit(totalVars); SizeOfBlock = sizeof(word)*wwi/2; - temp = malloc(SizeOfBlock); + temp = (word *)malloc(SizeOfBlock); for(y=wwj/2; y<WORDS_IN_TT; y+=wwj) for(x=y-shift; x<y; x+=wwi) { |