From 3b62ee457544bcc8f6191746bff895f2f98cddf9 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 20 May 2016 16:23:48 -0700 Subject: Enabling AIGs without structural hashing. --- src/aig/gia/giaRex.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/aig/gia/giaRex.c') diff --git a/src/aig/gia/giaRex.c b/src/aig/gia/giaRex.c index 2eacc8d7..ebfc9401 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 ); + pNew = Gia_ManDupZeroUndc( pTemp = pNew, Vec_StrArray(vInit), 0, 0 ); Gia_ManStop( pTemp ); Vec_StrFree( vInit ); /* -- cgit v1.2.3