diff options
Diffstat (limited to 'src/nullable.c')
| -rw-r--r-- | src/nullable.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/nullable.c b/src/nullable.c index 83a90e95..5bde4047 100644 --- a/src/nullable.c +++ b/src/nullable.c @@ -104,8 +104,8 @@ nullable_compute (void) else { /* This rule has an empty RHS. */ - assert (item_number_as_rule_number (rules_ruleno->rhs[0]) - == ruleno); + aver (item_number_as_rule_number (rules_ruleno->rhs[0]) + == ruleno); if (rules_ruleno->useful && ! nullable[rules_ruleno->lhs->number - ntokens]) { |