summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/otps/routines.h
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/otps/routines.h')
-rw-r--r--Build/source/texk/web2c/otps/routines.h2
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);