diff options
Diffstat (limited to 'Build/source/texk/makeindexk/mkind.h')
-rw-r--r-- | Build/source/texk/makeindexk/mkind.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/makeindexk/mkind.h b/Build/source/texk/makeindexk/mkind.h index fbc3de0a1f8..e0b2917cd14 100644 --- a/Build/source/texk/makeindexk/mkind.h +++ b/Build/source/texk/makeindexk/mkind.h @@ -507,7 +507,7 @@ extern NODE_PTR tail; extern int idx_dot; extern int idx_tt; -extern int idx_gt; +extern size_t idx_gt; extern int idx_et; extern int idx_dc; @@ -545,7 +545,7 @@ fprintf(ilg_fp, \ } extern void gen_ind (void); -extern int group_type (char *str); +extern int group_type (const char *str); extern void scan_idx (void); extern void scan_sty (void); extern void sort_idx (void); |