From 95c687dd8e730c0d95443bf1efc22291a4e24c90 Mon Sep 17 00:00:00 2001 From: rvcas Date: Sat, 7 May 2022 14:16:09 -0400 Subject: [PATCH] fix: better spaces after program keyword --- src/parser.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/parser.rs b/src/parser.rs index 45e13464..5c09f10d 100644 --- a/src/parser.rs +++ b/src/parser.rs @@ -24,7 +24,7 @@ where Input: Stream, Input::Error: ParseError, { - let prog = string("program").with(spaces()).with( + let prog = string("program").with(skip_many1(space())).with( (version(), skip_many1(space()), term().skip(spaces())) .map(|(version, _, term)| Program { version, term }), );