From f43ab963ad259c03f3ecc03d7158200da403ad27 Mon Sep 17 00:00:00 2001 From: sebcrozet Date: Tue, 6 Nov 2018 19:25:07 +0100 Subject: [PATCH] Fix matrix market grammar. --- src/io/matrix_market.pest | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/io/matrix_market.pest b/src/io/matrix_market.pest index eafe5b82..e024ec57 100644 --- a/src/io/matrix_market.pest +++ b/src/io/matrix_market.pest @@ -5,7 +5,7 @@ Header = { "%%" ~ (!NEWLINE ~ ANY)* } Shape = { Dimension ~ Dimension ~ Dimension } Document = { SOI ~ - NEWLINE ~ + NEWLINE* ~ Header ~ (NEWLINE ~ Comments)* ~ (NEWLINE ~ Shape) ~