diff options
Diffstat (limited to 'src/aig/saig/saigInter.c')
| -rw-r--r-- | src/aig/saig/saigInter.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/saig/saigInter.c b/src/aig/saig/saigInter.c index afc4a34a..ae8d02ec 100644 --- a/src/aig/saig/saigInter.c +++ b/src/aig/saig/saigInter.c @@ -412,7 +412,7 @@ int Saig_ManCheckContainment( Aig_Man_t * pNew, Aig_Man_t * pOld ) pAigTemp = Fra_FraigEquivence( pMiter, 1000000, 1 ); RetValue = Fra_FraigMiterStatus( pAigTemp ); Aig_ManStop( pAigTemp ); -// RetValue = Fra_FraigSat( pMiter, 1000000, 0, 0 ); +// RetValue = Fra_FraigSat( pMiter, 1000000, 0, 0, 0 ); } assert( RetValue != -1 ); Aig_ManStop( pMiter ); |