From a159d4dd29491a1eb88163e63ceb41a903dc47b6 Mon Sep 17 00:00:00 2001 From: Irene Knapp Date: Sat, 30 Jan 2021 00:38:22 -0800 Subject: don't require a newline at the end of a command line, because we've stripped that by the time it's parsed --- src/commandline.lalrpop | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') diff --git a/src/commandline.lalrpop b/src/commandline.lalrpop index 15af3cf..d52e741 100644 --- a/src/commandline.lalrpop +++ b/src/commandline.lalrpop @@ -1,7 +1,7 @@ grammar; pub Invocation: Vec<&'input str> = { - NEWLINE, + , }; // Several of the regexps below make use of Unicode character classes. [1] is -- cgit 1.4.1