summaryrefslogtreecommitdiff
path: root/Build/source/texk/makeindexk/mkind.h
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/makeindexk/mkind.h')
-rw-r--r--Build/source/texk/makeindexk/mkind.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/makeindexk/mkind.h b/Build/source/texk/makeindexk/mkind.h
index dab51a20893..cc58b680dd9 100644
--- a/Build/source/texk/makeindexk/mkind.h
+++ b/Build/source/texk/makeindexk/mkind.h
@@ -506,7 +506,7 @@ extern NODE_PTR tail;
extern int idx_dot;
extern int idx_tt;
-extern size_t idx_gt;
+extern int idx_gt;
extern int idx_et;
extern int idx_dc;