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) ~