diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-12-14 00:44:33 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-12-14 00:44:33 -0800 |
| commit | 19586f105cd15279084541a5edf033724a32be49 (patch) | |
| tree | 1a468a5de4856992b461532b3cc78911e363ff03 /src/base/wlc | |
| parent | 64afe6e9f861f8c570ba68c3a2d47ec92ebad96f (diff) | |
| download | abc-19586f105cd15279084541a5edf033724a32be49.tar.gz abc-19586f105cd15279084541a5edf033724a32be49.tar.bz2 abc-19586f105cd15279084541a5edf033724a32be49.zip | |
Adding code to support gate profiles.
Diffstat (limited to 'src/base/wlc')
| -rw-r--r-- | src/base/wlc/wlcReadVer.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/base/wlc/wlcReadVer.c b/src/base/wlc/wlcReadVer.c index dcafc014..eb704211 100644 --- a/src/base/wlc/wlcReadVer.c +++ b/src/base/wlc/wlcReadVer.c @@ -1085,7 +1085,10 @@ startword: if ( fDefaultFound ) { int EntryLast = Vec_IntEntryLast( p->vFanins ); - Vec_IntFillExtra( p->vFanins, nValues + 1, EntryLast ); + if (nValues != Vec_IntSize(p->vFanins)-2) + Vec_IntFillExtra( p->vFanins, nValues + 1, EntryLast ); + else + Vec_IntPop(p->vFanins); // get next line and check its opening character pStart = Wlc_PrsStr(p, Vec_IntEntry(p->vStarts, ++i)); pStart = Wlc_PrsSkipSpaces( pStart ); |