diff options
Diffstat (limited to 'Build/source/texk/makeindexk/mkind.h')
-rw-r--r-- | Build/source/texk/makeindexk/mkind.h | 2 |
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; |