diff options
Diffstat (limited to 'Build/source/texk/web2c/otps/routines.h')
-rw-r--r-- | Build/source/texk/web2c/otps/routines.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/otps/routines.h b/Build/source/texk/web2c/otps/routines.h index f8a851622c2..6d99dcd906f 100644 --- a/Build/source/texk/web2c/otps/routines.h +++ b/Build/source/texk/web2c/otps/routines.h @@ -137,7 +137,7 @@ extern void fill_in(list L); extern void out_int(int instr, int val); extern void out_right(int instr, int val); -extern void store_state(string str); +extern void store_state(const_string str); extern int lookup_state(string str); extern void store_table(string str, int len); extern int lookup_table(string str); |