diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-04-20 23:15:05 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-04-20 23:15:05 -0700 |
| commit | 2becb24a325aafa659b0608379d5c22f7fffe16b (patch) | |
| tree | 4b8ca96527b8db9679d6f23b2110c751b30554c2 /src/map/if/ifMap.c | |
| parent | e2842beaca47941804d1893ac431f00b16c3e684 (diff) | |
| download | abc-2becb24a325aafa659b0608379d5c22f7fffe16b.tar.gz abc-2becb24a325aafa659b0608379d5c22f7fffe16b.tar.bz2 abc-2becb24a325aafa659b0608379d5c22f7fffe16b.zip | |
Bug fixes having to do with the use of chars.
Diffstat (limited to 'src/map/if/ifMap.c')
| -rw-r--r-- | src/map/if/ifMap.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/map/if/ifMap.c b/src/map/if/ifMap.c index 66e59d2f..f5d1356f 100644 --- a/src/map/if/ifMap.c +++ b/src/map/if/ifMap.c @@ -67,7 +67,7 @@ void If_ObjPerformMappingAnd( If_Man_t * p, If_Obj_t * pObj, int Mode, int fPrep If_Set_t * pCutSet; If_Cut_t * pCut0, * pCut1, * pCut; int i, k; - + assert( p->pPars->fSeqMap || !If_ObjIsAnd(pObj->pFanin0) || pObj->pFanin0->pCutSet->nCuts > 1 ); assert( p->pPars->fSeqMap || !If_ObjIsAnd(pObj->pFanin1) || pObj->pFanin1->pCutSet->nCuts > 1 ); |