fix: code block source locations

leanprover · Dec 6, 2024 · 0951379 · 0951379
1 parent de92f53
commit 0951379
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/verso/Verso/Parser.lean b/src/verso/Verso/Parser.lean
@@ -249,7 +249,7 @@ private def asStringAux (quoted : Bool) (startPos : String.Pos) (transform : Str
   let val      := transform val
   let trailing := mkEmptySubstringAt input stopPos
   let atom     :=
-    mkAtom (SourceInfo.original leading startPos trailing (startPos + val)) <|
+    mkAtom (SourceInfo.original leading startPos trailing stopPos) <|
       if quoted then val.quote else val
   s.pushSyntax atom