fix: Use Z(separator) instead of S(ymbol) category

closes: #123
leanprover · Mar 27, 2023 · b9421b9 · b9421b9
1 parent 23eb55f
commit b9421b9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/DocGen4/Output/DocString.lean b/DocGen4/Output/DocString.lean
@@ -57,7 +57,7 @@ partial def xmlGetHeadingId (el : Xml.Element) : String :=
     unicodeToDrop (c : Char) : Bool :=
       let cats := [
         Unicode.GeneralCategory.P, -- punctuation
-        Unicode.GeneralCategory.S, -- separator
+        Unicode.GeneralCategory.Z, -- separator
         Unicode.GeneralCategory.C -- other
       ]
       cats.any (Unicode.isInGeneralCategory c)
@@ -179,7 +179,7 @@ def autoLink (el : Element) : HtmlM Element := do
           return [Content.Character s]
     unicodeToSplit (c : Char) : Bool :=
       let cats := [
-        Unicode.GeneralCategory.S, -- separator
+        Unicode.GeneralCategory.Z, -- separator
         Unicode.GeneralCategory.C -- other
       ]
       cats.any (Unicode.isInGeneralCategory c)