From 610a3d3fc2a7e593c52a2532dc31d67cbd8af6ce Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 15 May 2021 13:28:06 -0700
Subject: Adding switch muxes -a to create networks of ADDs.

---
 src/bdd/llb/llb4Nonlin.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/bdd/llb')

diff --git a/src/bdd/llb/llb4Nonlin.c b/src/bdd/llb/llb4Nonlin.c
index f8ee825e..d99109fd 100644
--- a/src/bdd/llb/llb4Nonlin.c
+++ b/src/bdd/llb/llb4Nonlin.c
@@ -1156,7 +1156,7 @@ Aig_Man_t * Llb_ReachableStates( Aig_Man_t * pAig )
     Cudd_Quit( dd );
 
     // convert
-    pNtkMuxes = Abc_NtkBddToMuxes( pNtk, 0, 1000000 );
+    pNtkMuxes = Abc_NtkBddToMuxes( pNtk, 0, 1000000, 0 );
     Abc_NtkDelete( pNtk );
     pNtk = Abc_NtkStrash( pNtkMuxes, 0, 1, 0 );
     Abc_NtkDelete( pNtkMuxes );
-- 
cgit v1.2.3