diff options
Diffstat (limited to 'src/map/mpm/mpmDsd.c')
| -rw-r--r-- | src/map/mpm/mpmDsd.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/map/mpm/mpmDsd.c b/src/map/mpm/mpmDsd.c index 01b7a520..b6991004 100644 --- a/src/map/mpm/mpmDsd.c +++ b/src/map/mpm/mpmDsd.c @@ -986,7 +986,7 @@ Kit_DsdPrintFromTruth( (unsigned *)&t, 6 ); printf( "\n" ); // check if the gate exists if ( p->pPars->fMap4Gates ) { - if ( Vec_IntEntry(p->vGateNpnConfig, iClass) < 0 ) + if ( Vec_IntEntry(p->vNpnConfigs, iClass) < 0 ) { p->nNoMatch++; return 0; |