1 files changed, 1 insertions, 1 deletions
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();
         }