From a9998436cf69c0c8cf9c8a21d93085a56dae320f Mon Sep 17 00:00:00 2001
From: Eelis van der Weegen <eelis@eelis.net>
Date: Tue, 1 Sep 2020 05:24:30 +0200
Subject: [PATCH] [coroutine.noop.coroutine] Use code font for noop_coroutine
 index entry.

---
 source/support.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/source/support.tex b/source/support.tex
index 8de91ff698..e9236f3b7e 100644
--- a/source/support.tex
+++ b/source/support.tex
@@ -5328,7 +5328,7 @@
 
 \rSec3[coroutine.noop.coroutine]{Function \tcode{noop_coroutine}}
 
-\indexlibrary{noop_coroutine}%
+\indexlibraryglobal{noop_coroutine}%
 \begin{itemdecl}
 noop_coroutine_handle noop_coroutine() noexcept;
 \end{itemdecl}