diff options
Diffstat (limited to 'src/sat/fraig')
| -rw-r--r-- | src/sat/fraig/fraigSat.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/fraig/fraigSat.c b/src/sat/fraig/fraigSat.c index 13c09a9e..da9e8e2b 100644 --- a/src/sat/fraig/fraigSat.c +++ b/src/sat/fraig/fraigSat.c @@ -83,7 +83,7 @@ void Fraig_ManProveMiter( Fraig_Man_t * p ) if ( !p->fTryProve ) return; - + clk = clock(); // consider all outputs of the multi-output miter for ( i = 0; i < p->vOutputs->nSize; i++ ) |