From 832a94d440883b46821ffc7ce70ebc6ae6d52832 Mon Sep 17 00:00:00 2001
From: Bertho Stultiens <bertho@vagrearg.org>
Date: Fri, 8 May 2026 00:19:06 +0200
Subject: [PATCH] docs: Remove obsolete floating-point thread message from
 halcompile

---
 src/hal/utils/halcompile.g | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/src/hal/utils/halcompile.g b/src/hal/utils/halcompile.g
index a40e3827eaf..fcce8c63297 100644
--- a/src/hal/utils/halcompile.g
+++ b/src/hal/utils/halcompile.g
@@ -993,11 +993,7 @@ def document(filename, outfilebase):
     if functions:
         print("\n== FUNCTIONS\n", file=f)
         for _, name, fp, doc in finddocs('funct'):
-            print("%s" % to_hal_man(name), end='', file=f)
-            if fp:
-                print(" (requires a floating-point thread)::", file=f)
-            else:
-                print("::", file=f)
+            print("%s::" % to_hal_man(name), file=f)
             if doc:
                 print(doc, file=f)
             else: