diff options
Diffstat (limited to 'usr/src/cmd/vgrind/vfontedpr.c')
| -rw-r--r-- | usr/src/cmd/vgrind/vfontedpr.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/usr/src/cmd/vgrind/vfontedpr.c b/usr/src/cmd/vgrind/vfontedpr.c index 3a69a61deb..ec9fa29194 100644 --- a/usr/src/cmd/vgrind/vfontedpr.c +++ b/usr/src/cmd/vgrind/vfontedpr.c @@ -4,8 +4,6 @@ * specifies the terms and conditions for redistribution. */ -#pragma ident "%Z%%M% %I% %E% SMI" - #include <ctype.h> #include <stdio.h> #include <sys/types.h> @@ -792,6 +790,7 @@ putcp(int c) default: if (c < 040) putchar('^'), c |= '@'; + /* FALLTHROUGH */ case '\t': case '\n': putchar(c); |