diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2005-09-01 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2005-09-01 08:01:00 -0700 |
| commit | 9c98ba1794a2422f1be8202d615633e1c8e74b10 (patch) | |
| tree | 1ba2fa5e41276af419164f6eff3192b6bebaa47c /src/sat/fraig | |
| parent | ab7cb9c6ad52934b80e44f2bb5ae94049a5a4ae5 (diff) | |
| download | abc-9c98ba1794a2422f1be8202d615633e1c8e74b10.tar.gz abc-9c98ba1794a2422f1be8202d615633e1c8e74b10.tar.bz2 abc-9c98ba1794a2422f1be8202d615633e1c8e74b10.zip | |
Version abc50901
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++ ) |