summaryrefslogtreecommitdiffstats
path: root/src/opt/rwr/rwrExp.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/opt/rwr/rwrExp.c')
-rw-r--r--src/opt/rwr/rwrExp.c11
1 files changed, 8 insertions, 3 deletions
diff --git a/src/opt/rwr/rwrExp.c b/src/opt/rwr/rwrExp.c
index 543cae07..c4664fbf 100644
--- a/src/opt/rwr/rwrExp.c
+++ b/src/opt/rwr/rwrExp.c
@@ -20,6 +20,9 @@
#include "rwr.h"
+ABC_NAMESPACE_IMPL_START
+
+
////////////////////////////////////////////////////////////////////////
/// DECLARATIONS ///
////////////////////////////////////////////////////////////////////////
@@ -149,7 +152,7 @@ void Rwt_Man4ExplorePrint()
for ( i = 0; i < s_pManRwrExp4->nFuncs; i++ )
if ( s_pManRwrExp4->pnCounts[i] > 0 )
{
- Extra_PrintHex( pFile, i, 4 );
+ Extra_PrintHex( pFile, (unsigned *)&i, 4 );
fprintf( pFile, " %10d\n", s_pManRwrExp4->pnCounts[i] );
// fprintf( pFile, "%d ", i );
CountWrite++;
@@ -275,7 +278,7 @@ void Rwt_Man5ExplorePrint()
{
assert( 0 );
}
- Extra_PrintHex( pFile, uTruth, 5 );
+ Extra_PrintHex( pFile, &uTruth, 5 );
fprintf( pFile, " %10d\n", Counter );
}
fclose( pFile );
@@ -313,7 +316,7 @@ ABC_PRT( "Computing NPN classes", clock() - clk );
{
assert( 0 );
}
- Extra_PrintHex( pFile, uTruth, 5 );
+ Extra_PrintHex( pFile, &uTruth, 5 );
fprintf( pFile, " %10d\n", Counter );
}
fclose( pFile );
@@ -329,3 +332,5 @@ ABC_PRT( "Computing NPN classes", clock() - clk );
////////////////////////////////////////////////////////////////////////
+ABC_NAMESPACE_IMPL_END
+