diff options
Diffstat (limited to 'src/opt/dau/dauTree.c')
| -rw-r--r-- | src/opt/dau/dauTree.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/dau/dauTree.c b/src/opt/dau/dauTree.c index 4a522d92..f8508d53 100644 --- a/src/opt/dau/dauTree.c +++ b/src/opt/dau/dauTree.c @@ -560,7 +560,7 @@ int Dss_NtkCreate_rec( char * pStr, char ** p, int * pMatches, Dss_Ntk_t * pNtk, Dss_Obj_t * pObj; Vec_Int_t * vFaninLits = Vec_IntAlloc( 10 ); char * q = pStr + pMatches[ *p - pStr ]; - int Type; + int Type = 0; if ( **p == '(' ) Type = DAU_DSD_AND; else if ( **p == '[' ) |