From 43e2eaa4dbbb54af90590b9625dd0baff8872b49 Mon Sep 17 00:00:00 2001 From: Andrew Wood Date: Sun, 15 Dec 2024 22:54:15 +0000 Subject: [PATCH] Removed misplaced splint annotation. --- src/main/options.c | 1 - 1 file changed, 1 deletion(-) diff --git a/src/main/options.c b/src/main/options.c index 1647422..ebfaeb3 100644 --- a/src/main/options.c +++ b/src/main/options.c @@ -429,7 +429,6 @@ opts_t opts_parse(unsigned int argc, char **argv) case 'R': /*@fallthrough@ */ case 'm': - /*@fallthrough@ */ if (!pv_getnum_check(optarg, PV_NUMTYPE_BARE_INTEGER)) { /*@-mustfreefresh@ *//* see above */ fprintf(stderr, "%s: -%c: %s: %s\n", opts->program_name, c, optarg,