From 219e33667d63dfa2069c6296d75d56e34fa5b8f8 Mon Sep 17 00:00:00 2001
From: Autumn! <86073772+autumnull@users.noreply.github.com>
Date: Fri, 4 Nov 2022 02:17:41 +0000
Subject: [PATCH] Disallow newline directly following `//`
---
src/comments.md | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/comments.md b/src/comments.md
index 46074b45c..ad29c58e5 100644
--- a/src/comments.md
+++ b/src/comments.md
@@ -2,7 +2,7 @@
> **Lexer**\
> LINE_COMMENT :\
-> `//` (~\[`/` `!`] | `//`) ~`\n`\*\
+> `//` (~\[`/` `!` `\n`] | `//`) ~`\n`\*\
> | `//`
>
> BLOCK_COMMENT :\