diff options
Diffstat (limited to 'src/opt/mfs/mfsInt.h')
| -rw-r--r-- | src/opt/mfs/mfsInt.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/mfs/mfsInt.h b/src/opt/mfs/mfsInt.h index 6a1d9688..8adffd44 100644 --- a/src/opt/mfs/mfsInt.h +++ b/src/opt/mfs/mfsInt.h @@ -68,7 +68,7 @@ struct Mfs_Man_t_ int nSatCexes; // intermediate AIG data Gia_Man_t * pGia; // replica of the AIG in the new package - Gia_Obj_t ** pSat2Gia; // mapping of PO SAT var into internal GIA nodes +// Gia_Obj_t ** pSat2Gia; // mapping of PO SAT var into internal GIA nodes Tas_Man_t * pTas; // the SAT solver Vec_Int_t * vCex; // the counter-example Vec_Ptr_t * vGiaLits; // literals given as assumptions |