remove pasted comment

2023-11-19 10:10:27 -05:00
parent 13f49bdd92
commit c33c49295d
1 changed files with 0 additions and 1 deletions
--- a/util/makedefs.c
+++ b/util/makedefs.c
@@ -363,7 +363,6 @@ do_makedefs(char *options)
                " for '%c' (%s) support.\n",
                *options, oldfunctionality(*options));
            (void) fflush(stderr);
-            /*NOTREACHED*/
            break;
 #endif /* OLD_MAKEDEFS_OPTIONS */
        default: