From e44b7fc3fb0e029c29fafc6616a799e17c42ed62 Mon Sep 17 00:00:00 2001
From: Ruslan Akbashev <ruslashev@gmail.com>
Date: Wed, 5 Nov 2025 02:05:15 +0400
Subject: [PATCH] fix category name for `no_builtins` attribute

---
 src/attributes.rst | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/attributes.rst b/src/attributes.rst
index 7d3fcb24..7a7b7643 100644
--- a/src/attributes.rst
+++ b/src/attributes.rst
@@ -139,7 +139,7 @@ Built-in Attributes
      | MacroExportContent
      | MacroUseContent
      | NakedContent
-     | NoBinutilsContent
+     | NoBuiltinsContent
      | NoImplicitPreludeContent
      | NoLinkContent
      | NoMainContent
@@ -445,7 +445,7 @@ Attribute ``no_builtins``
 
 .. syntax::
 
-   NoBinutilsContent ::=
+   NoBuiltinsContent ::=
        $$no_builtins$$
 
 .. rubric:: Legality Rules