diff options
Diffstat (limited to 'src/fsmap.cc')
| -rw-r--r-- | src/fsmap.cc | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/fsmap.cc b/src/fsmap.cc index 6ee2b7c5..b89fe954 100644 --- a/src/fsmap.cc +++ b/src/fsmap.cc @@ -846,13 +846,13 @@ int FsmAp::comparePrior( const PriorTable &priorTable1, const PriorTable &priorT pd2.increment(); /* Keys are the same, check priorities. */ else if ( pd1->desc->priority < pd2->desc->priority ) { - //if ( ctx->nfaTermCheck ) - // throw PriorInteraction(); + if ( pd1->desc->key >= 10000 && ctx->nfaTermCheck ) + throw PriorInteraction(); return -1; } else if ( pd1->desc->priority > pd2->desc->priority ) { - //if ( ctx->nfaTermCheck ) - // throw PriorInteraction(); + if ( pd1->desc->key >= 10000 && ctx->nfaTermCheck ) + throw PriorInteraction(); return 1; } else { |