Skip to content

Commit

Permalink
Update document/core/valid/types.rst
Browse files Browse the repository at this point in the history
Match heading length

Co-authored-by: Andreas Rossberg <rossberg@mpi-sws.org>
  • Loading branch information
f52985 and rossberg authored Jan 10, 2025
1 parent 05c6c22 commit de8aaec
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion document/core/valid/types.rst
Original file line number Diff line number Diff line change
Expand Up @@ -552,7 +552,7 @@ Tag Types
~~~~~~~~~

:math:`\deftype`
...........................
................


* The :ref:`defined type <syntax-deftype>` :math:`\deftype` must be :ref:`valid <valid-deftype>`.
Expand Down

0 comments on commit de8aaec

Please sign in to comment.