(nullable_compute): Use abort rather than assert.

[bison.git] / src / nullable.c

diff --git a/src/nullable.c b/src/nullable.c
index c0b60f64d40235e653e2f9b7033030341d0d0580..c4b9944d4d6123ae7445742378010f61af36abd7 100644 (file)
--- a/src/nullable.c
+++ b/src/nullable.c
@@ -99,7 +99,8 @@ nullable_compute (void)
        else
          {
            /* This rule has an empty RHS. */
        else
          {
            /* This rule has an empty RHS. */

-           assert (item_number_as_rule_number (rule->rhs[0]) == ruleno);
+           if (item_number_as_rule_number (rule->rhs[0]) != ruleno)
+             abort ();

            if (rule->useful && !nullable[rule->lhs->number])
              {
                nullable[rule->lhs->number] = 1;
            if (rule->useful && !nullable[rule->lhs->number])
              {
                nullable[rule->lhs->number] = 1;