diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-10-21 17:51:53 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-10-21 17:51:53 -0700 |
| commit | befb73079a08dae3e5bb0a742520bbe1a48cda83 (patch) | |
| tree | 5647781212c2a8ed7924b0406243661a5a1ce7bd | |
| parent | 9c7741efd9da255cad64b758032da33bb946259b (diff) | |
| download | abc-befb73079a08dae3e5bb0a742520bbe1a48cda83.tar.gz abc-befb73079a08dae3e5bb0a742520bbe1a48cda83.tar.bz2 abc-befb73079a08dae3e5bb0a742520bbe1a48cda83.zip | |
Code for profiling arithmetic circuits.
| -rw-r--r-- | src/proof/acec/acecSt.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/proof/acec/acecSt.c b/src/proof/acec/acecSt.c index 4c61715e..63aa8131 100644 --- a/src/proof/acec/acecSt.c +++ b/src/proof/acec/acecSt.c @@ -313,7 +313,7 @@ void Acec_GenerateNpnTable() for ( i = 0; i < 256; i++ ) { printf( "{" ); - Extra_PrintHex( stdout, &Table[i], 3 ); + Extra_PrintHex( stdout, (unsigned *)&Table[i], 3 ); printf( ", " ); // find the class for ( k = 0; k < nClasses; k++ ) @@ -324,7 +324,7 @@ void Acec_GenerateNpnTable() Map[i] = k; // print printf( "%2d}, // ", k ); - Extra_PrintHex( stdout, &i, 3 ); + Extra_PrintHex( stdout, (unsigned *)&i, 3 ); printf( " = %3d\n", i ); } } |