From 9932b97a353a61e8de045112481455f7d2e0d989 Mon Sep 17 00:00:00 2001
From: Andreas Krug <153394595+Andreas-Krug@users.noreply.github.com>
Date: Mon, 19 Jan 2026 14:13:33 +0100
Subject: [PATCH] [module.interface] Add \tcode for the variable b in comment

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

diff --git a/source/modules.tex b/source/modules.tex
index 551e1ecc62..134a64fdfe 100644
--- a/source/modules.tex
+++ b/source/modules.tex
@@ -254,7 +254,7 @@
 namespace {
   export int a2;                // error: export of name with internal linkage
 }
-export static int b;            // error: b explicitly declared static
+export static int b;            // error: \tcode{b} explicitly declared static
 export int f();                 // OK
 export namespace N { }          // OK
 export using namespace N;       // OK