summaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2018-06-25 14:01:31 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2018-06-25 14:01:31 -0700
commit7522e68b58167b225a81becc59bd4decc6602de7 (patch)
tree85c96498315b5c98e253ba4524f73c9c51b70dd1 /src
parent9ff928a78111eb3d6f5c29df1b2950ad9f014059 (diff)
downloadabc-7522e68b58167b225a81becc59bd4decc6602de7.tar.gz
abc-7522e68b58167b225a81becc59bd4decc6602de7.tar.bz2
abc-7522e68b58167b225a81becc59bd4decc6602de7.zip
Bug fix by Horus Nero.
Diffstat (limited to 'src')
-rw-r--r--src/opt/sim/simMan.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/sim/simMan.c b/src/opt/sim/simMan.c
index ecee0424..b3f99f89 100644
--- a/src/opt/sim/simMan.c
+++ b/src/opt/sim/simMan.c
@@ -80,7 +80,7 @@ Sym_Man_t * Sym_ManStart( Abc_Ntk_t * pNtk, int fVerbose )
for ( i = 0; i < p->nOutputs; i++ )
for ( v = 0; v < p->nInputs; v++ )
if ( Sim_SuppFunHasVar( p->vSuppFun, i, v ) )
- Vec_VecPush( p->vSupports, i, (void *)(ABC_PTRUINT_T)v );
+ Vec_VecPushInt( p->vSupports, i, v );
return p;
}