Merge branch 'gawk-5.1-stable'

1 files changed, 1 insertions, 0 deletions

diff --git a/main.c b/main.c
index 5b153bc3..19c50b6d 100644
--- a/main.c
+++ b/main.c
@@ -1203,6 +1203,7 @@ arg_assign(char *arg, bool initing)
 
 	cp2 = cp + strlen(cp) - 1;	// end char
 	if (! do_traditional
+	    && strlen(cp) >= 3		// '@/' doesn't do it.
 	    && cp[0] == '@' && cp[1] == '/' && *cp2 == '/') {
 		// typed regex
 		size_t len = strlen(cp) - 3;