diff options
Diffstat (limited to 'src/aig/gia/giaAbsGla2.c')
-rw-r--r-- | src/aig/gia/giaAbsGla2.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaAbsGla2.c b/src/aig/gia/giaAbsGla2.c index 6527dd3f..fc6a5ef3 100644 --- a/src/aig/gia/giaAbsGla2.c +++ b/src/aig/gia/giaAbsGla2.c @@ -48,7 +48,7 @@ struct Ga2_Man_t_ Vec_Int_t * pvLeaves; // leaves for each object Vec_Int_t * pvCnfs0; // positive CNF Vec_Int_t * pvCnfs1; // negative CNF - Vec_Int_t * pvMaps; // mapping into SAT vars for each frame + Vec_Int_t * pvMaps; // mapping into SAT vars for each frame (these should be organized by frame, not by object!) // temporaries Vec_Int_t * vCnf; Vec_Int_t * vLits; |