From e3f87e189c880251c579b9fd22c04ca70b80f63d Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 19 Feb 2015 12:57:05 -0800
Subject: Propagating changes after updating flag of 'sop'.

---
 src/base/abci/abcFxu.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/base/abci/abcFxu.c')

diff --git a/src/base/abci/abcFxu.c b/src/base/abci/abcFxu.c
index 942f8c6d..d2221f4e 100644
--- a/src/base/abci/abcFxu.c
+++ b/src/base/abci/abcFxu.c
@@ -91,7 +91,7 @@ int Abc_NtkFastExtract( Abc_Ntk_t * pNtk, Fxu_Data_t * p )
 //        Abc_NtkBddToSop(pNtk);
     }
     // get the network in the SOP form
-    if ( !Abc_NtkToSop(pNtk, 0, ABC_INFINITY) )
+    if ( !Abc_NtkToSop(pNtk, -1, ABC_INFINITY) )
     {
         printf( "Abc_NtkFastExtract(): Converting to SOPs has failed.\n" );
         return 0;
-- 
cgit v1.2.3