summaryrefslogtreecommitdiffstats
path: root/src/opt/sim/simSymSat.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/opt/sim/simSymSat.c')
-rw-r--r--src/opt/sim/simSymSat.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/sim/simSymSat.c b/src/opt/sim/simSymSat.c
index a98d4b5e..d9821088 100644
--- a/src/opt/sim/simSymSat.c
+++ b/src/opt/sim/simSymSat.c
@@ -147,7 +147,7 @@ int Sim_SymmsSatProveOne( Sym_Man_t * p, int Out, int Var1, int Var2, unsigned *
Params.nSeconds = ABC_INFINITY;
clk = clock();
- pMan = Abc_NtkToFraig( pMiter, &Params, 0 );
+ pMan = Abc_NtkToFraig( pMiter, &Params, 0, 0 );
p->timeFraig += clock() - clk;
clk = clock();
Fraig_ManProveMiter( pMan );