sdgoij/lean4
1
0
Fork 0
mirror of https://github.com/leanprover/lean4.git synced 2026-03-17 18:34:06 +00:00
Code Issues Packages Projects Releases Wiki Activity

style: remove parenthesis

Browse Source
This commit is contained in:
Sofia Rodrigues
2026-03-03 12:35:29 -03:00
parent 3d039f8dba
commit 8cb236e9eb
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/Std/Internal/Http/Data/URI/Basic.lean
View File

@@ -293,7 +293,7 @@ structure Path where
/--
The path segments making up the hierarchical structure (each segment is percent-encoded).
-/
segments : Array (EncodedSegment)
segments : Array EncodedSegment
/--
Whether the path is absolute (begins with '/') or relative.