diff --git a/sys/kern/init_main.c b/sys/kern/init_main.c index e7df226d3986..d24827d62452 100644 --- a/sys/kern/init_main.c +++ b/sys/kern/init_main.c @@ -117,7 +117,6 @@ int bootverbose = BOOTVERBOSE; SYSCTL_INT(_debug, OID_AUTO, bootverbose, CTLFLAG_RW, &bootverbose, 0, "Control the output of verbose kernel messages"); -/* Want to avoid defining INVARIANTS if not already defined */ #ifdef INVARIANTS FEATURE(invariants, "Kernel compiled with INVARIANTS, may affect performance"); #endif