diff options
Diffstat (limited to 'src/aig/gia/giaRex.c')
| -rw-r--r-- | src/aig/gia/giaRex.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaRex.c b/src/aig/gia/giaRex.c index ebfc9401..7f8d365e 100644 --- a/src/aig/gia/giaRex.c +++ b/src/aig/gia/giaRex.c @@ -309,7 +309,7 @@ Gia_Man_t * Gia_ManRex2Gia( char * pStrInit, int fOrder, int fVerbose ) Gia_ManStop( pTemp ); // add initial state - pNew = Gia_ManDupZeroUndc( pTemp = pNew, Vec_StrArray(vInit), 0, 0 ); + pNew = Gia_ManDupZeroUndc( pTemp = pNew, Vec_StrArray(vInit), 0, 0, 0 ); Gia_ManStop( pTemp ); Vec_StrFree( vInit ); /* |