1 files changed, 4 insertions, 1 deletions
diff --git a/src/ielr.c b/src/ielr.c
index d34651b0..8b28e67b 100644
--- a/src/ielr.c
+++ b/src/ielr.c
@@ -1102,7 +1102,10 @@ ielr (void)
     else if (STREQ (type, "canonical-lr"))
       lr_type = LR_TYPE__CANONICAL_LR;
     else
-      aver (false);
+      {
+        aver (false);
+        abort ();
+      }
     free (type);
   }