From 457e243e588e7ed5f39251784335e254a0c9e711 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 22 Dec 2005 08:01:00 -0800
Subject: Version abc51222

---
 src/sat/csat/csat_apis.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/sat/csat/csat_apis.c')

diff --git a/src/sat/csat/csat_apis.c b/src/sat/csat/csat_apis.c
index efc183a3..74503a2b 100644
--- a/src/sat/csat/csat_apis.c
+++ b/src/sat/csat/csat_apis.c
@@ -188,7 +188,7 @@ int CSAT_AddGate( CSAT_Manager mng, enum GateType type, char * name, int nofi, c
             case CSAT_BAND:
                 if ( nofi < 1 )
                     { printf( "CSAT_AddGate: The AND gate \"%s\" no fanins.\n", name ); return 0; }
-                pSop = Abc_SopCreateAnd( mng->pNtk->pManFunc, nofi );
+                pSop = Abc_SopCreateAnd( mng->pNtk->pManFunc, nofi, NULL );
                 break;
             case CSAT_BNAND:
                 if ( nofi < 1 )
-- 
cgit v1.2.3