From 283dc2f220fb1ecec3618725bdb44b5a93b3d879 Mon Sep 17 00:00:00 2001
From: David Binder <david.binder@uni-tuebingen.de>
Date: Wed, 2 Oct 2024 18:34:42 +0200
Subject: [PATCH] Fix logic for generating doc comment tokens

---
 effekt/shared/src/main/scala/effekt/Lexer.scala | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/effekt/shared/src/main/scala/effekt/Lexer.scala b/effekt/shared/src/main/scala/effekt/Lexer.scala
index c6f37733c..37d9b940d 100644
--- a/effekt/shared/src/main/scala/effekt/Lexer.scala
+++ b/effekt/shared/src/main/scala/effekt/Lexer.scala
@@ -509,11 +509,12 @@ class Lexer(source: Source) {
         case _ => consume()
       }
     }
+
     // exclude //
     val comment = slice(start + 2, current)
-
     if comment.startsWith("/") then
-      val doc_comment = slice(start + 1, current)
+      // exclude ///
+      val doc_comment = slice(start + 3, current)
       TokenKind.DocComment(doc_comment)
     else
       TokenKind.Comment(comment)