From 962115f65453d25e6e5efda6d79fb31f375b60c9 Mon Sep 17 00:00:00 2001
From: kirtchev-adacore <kirtchev@adacore.com>
Date: Tue, 13 Jan 2026 10:13:23 +0200
Subject: [PATCH] Fix headings of Patterns chapter

This PR fixes the headings of almost all pattern kinds so that they are
at the same level as Struct Patterns.

Previously, almost all pattern kinds were incorrectly tracked under
Refutability.
---
 src/patterns.rst | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

diff --git a/src/patterns.rst b/src/patterns.rst
index 57de8092..2ef1297c 100644
--- a/src/patterns.rst
+++ b/src/patterns.rst
@@ -127,7 +127,7 @@ A :t:`refutable constant` is a :t:`constant` of a :t:`refutable type`.
 .. _fls_7bxv8lybxm18:
 
 Identifier Patterns
-~~~~~~~~~~~~~~~~~~~
+-------------------
 
 .. rubric:: Syntax
 
@@ -244,7 +244,7 @@ An identifier pattern with a bound pattern in the context of a match expression.
 .. _fls_2krxnq8q9ef1:
 
 Literal Patterns
-~~~~~~~~~~~~~~~~
+----------------
 
 .. rubric:: Syntax
 
@@ -294,7 +294,7 @@ See :p:`fls_sfyfdxhvhk44` for the declaration of ``x``.
 .. _fls_1xit18et4ohh:
 
 Parenthesized Patterns
-~~~~~~~~~~~~~~~~~~~~~~
+----------------------
 
 .. rubric:: Syntax
 
@@ -340,7 +340,7 @@ expression.
 .. _fls_uloyjbaso8pz:
 
 Path Patterns
-~~~~~~~~~~~~~
+-------------
 
 .. rubric:: Syntax
 
@@ -427,7 +427,7 @@ See :p:`fls_sfyfdxhvhk44` for the declaration of ``x``.
 .. _fls_6tl1fx99yn6c:
 
 Range Patterns
-~~~~~~~~~~~~~~
+--------------
 
 .. rubric:: Syntax
 
@@ -557,7 +557,7 @@ See :p:`fls_sfyfdxhvhk44` for the declaration of ``x``.
 .. _fls_d2sc9hl3v0mk:
 
 Reference Patterns
-~~~~~~~~~~~~~~~~~~
+------------------
 
 .. rubric:: Syntax
 
@@ -606,7 +606,7 @@ See :p:`fls_2xq8852gihn9` for the declaration of ``ref_x``.
 .. _fls_7wpgnp4kjq82:
 
 Rest Patterns
-~~~~~~~~~~~~~
+-------------
 
 .. rubric:: Syntax
 
@@ -671,7 +671,7 @@ Rest patterns in tuple patterns.
 .. _fls_qte70mgzpras:
 
 Slice Patterns
-~~~~~~~~~~~~~~
+--------------
 
 .. rubric:: Syntax
 
@@ -1167,7 +1167,7 @@ A tuple pattern in the context of a let statement.
 .. _fls_qfsfnql1t7m:
 
 Underscore Patterns
-~~~~~~~~~~~~~~~~~~~
+-------------------
 
 .. rubric:: Syntax