fix: parser

Author: algebraic-dev

src/Std/Internal/Http/Protocol/H1/Parser.lean

@@ -219,7 +219,7 @@ public inductive TakeResult
   | complete (data : ByteSlice)
   | incomplete (data : ByteSlice) (remaining : Nat)
 
-/-
+/--
 This function parses a single chunk in chunked transfer encoding
 -/
 public def parseChunk (limits : H1.Config) : Parser (Option (Nat × Array (String × Option String) × ByteSlice)) := do