diff options
| -rw-r--r-- | src/aig/saig/module.make | 2 | ||||
| -rw-r--r-- | src/opt/dau/dauTree.c | 5 |
2 files changed, 3 insertions, 4 deletions
diff --git a/src/aig/saig/module.make b/src/aig/saig/module.make index 97b69363..4048043e 100644 --- a/src/aig/saig/module.make +++ b/src/aig/saig/module.make @@ -1,4 +1,4 @@ -SRC += src/aig/saig/saigCone. \ +SRC += src/aig/saig/saigCone.c \ src/aig/saig/saigConstr.c \ src/aig/saig/saigConstr2.c \ src/aig/saig/saigDual.c \ diff --git a/src/opt/dau/dauTree.c b/src/opt/dau/dauTree.c index 22d157c6..1c11b6e2 100644 --- a/src/opt/dau/dauTree.c +++ b/src/opt/dau/dauTree.c @@ -201,7 +201,7 @@ void Dss_NtkPrint( Dss_Ntk_t * p ) { printf( "%s", Dss_IsComplement(p->pRoot) ? "!":"" ); if ( Dss_Regular(p->pRoot)->Type == DAU_DSD_VAR ) - printf( "%s%d", Dss_Regular(p->pRoot)->iVar ); + printf( "%c", 'a' + Dss_Regular(p->pRoot)->iVar ); else Dss_NtkPrint_rec( p, Dss_Regular(p->pRoot) ); } @@ -388,7 +388,6 @@ void Dss_NtkCheck( Dss_Ntk_t * p ) void Dss_NtkTransform( Dss_Ntk_t * p ) { Dss_Obj_t * pChildren[DAU_MAX_VAR]; - Vec_Ptr_t Fanins, * vFanins = &Fanins; Dss_Obj_t * pObj, * pChild; int i, k; Dss_NtkForEachNode( p, pObj, i ) @@ -569,7 +568,7 @@ Dss_Man_t * Dss_ManAlloc( int nVars ) p = ABC_CALLOC( Dss_Man_t, 1 ); p->nVars = nVars; p->nBins = Abc_PrimeCudd( 1000 ); - p->pBins = ABC_CALLOC( int, p->nBins ); + p->pBins = ABC_CALLOC( unsigned, p->nBins ); p->pMem = Mem_FlexStart(); p->vObjs = Vec_PtrAlloc( 1000 ); Dss_ObjAlloc( p, DAU_DSD_CONST0, 0, 0 ); |