1 files changed, 1 insertions, 1 deletions
diff --git a/io.c b/io.c
index 1372ebf5..321c2719 100644
--- a/io.c
+++ b/io.c
@@ -4212,7 +4212,7 @@ set_RS()
 			matchrec = rsrescan;
 
 		if (do_lint_extensions && ! warned) {
-			lintwarn(_("multicharacter value of `RS' is a gawk extension"));
+			lintwarn(_("multicharacter value of RS is a gawk extension"));
 			warned = true;
 		}
 	} else {