From 974182fdd0435409b9481fce75e2e16a7c0750d1 Mon Sep 17 00:00:00 2001 From: ice1000 Date: Sun, 22 Dec 2024 03:34:28 -0500 Subject: [PATCH] literate: sorry --- cli-impl/src/main/java/org/aya/cli/utils/LiterateData.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cli-impl/src/main/java/org/aya/cli/utils/LiterateData.java b/cli-impl/src/main/java/org/aya/cli/utils/LiterateData.java index 709a3ec491..22998f4a43 100644 --- a/cli-impl/src/main/java/org/aya/cli/utils/LiterateData.java +++ b/cli-impl/src/main/java/org/aya/cli/utils/LiterateData.java @@ -129,7 +129,7 @@ public record InjectedFrontMatter( var delimiter = new Literate.Raw(Doc.plain("---")); frontMatter = new Literate.FrontMatter(MutableList.of( delimiter, Literate.EOL, label, Literate.EOL, delimiter)); - literate = new Literate.Many(null, ImmutableSeq.of(frontMatter, literate)); + literate = new Literate.Many(null, ImmutableSeq.of(frontMatter, Literate.EOL, literate)); } } var prettier = new LiterateFaithfulPrettier(problems, highlights, options);