Fix a coverage gap.

diff --git a/main.c b/main.c
index 8986f403e56ec3b5ab28dd85584838dfaee58f7f..583154451945b0e11535efa6ab041624789621e5 100644 (file)
--- a/main.c
+++ b/main.c
@@ -1134,7 +1134,7 @@ Lookup:
                 command.part = intransitive;
             command.verb = command.id1;
             break;
-        case NUMERIC:
+        case NUMERIC: // LCOV_EXCL_LINE
         default: // LCOV_EXCL_LINE
             BUG(VOCABULARY_TYPE_N_OVER_1000_NOT_BETWEEN_0_AND_3); // LCOV_EXCL_LINE
         }