diff options
Diffstat (limited to 'src/base/main')
-rw-r--r-- | src/base/main/mainMC.c | 2 |
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(); } |