From a4bca405978e500b7ef2b987d159e3b11b95905f Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 14 Oct 2008 08:01:00 -0700
Subject: Version abc81014

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

(limited to 'src/base/main')

diff --git a/src/base/main/mainMC.c b/src/base/main/mainMC.c
index 84c75b7b..dcabaf36 100644
--- a/src/base/main/mainMC.c
+++ b/src/base/main/mainMC.c
@@ -107,7 +107,7 @@ int main( int argc, char * argv[] )
             pSecPar->fSilent         =   1;  // disable phase-abstraction
 
             Dar_LibStart();
-            RetValue = Fra_FraigSec( pAig, pSecPar );
+            RetValue = Fra_FraigSec( pAig, pSecPar, NULL );
             Dar_LibStop();
             Cnf_ClearMemory();
         }
-- 
cgit v1.2.3