diff options
Diffstat (limited to 'Build/source/texk/web2c/otps/routines.c')
-rw-r--r-- | Build/source/texk/web2c/otps/routines.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/otps/routines.c b/Build/source/texk/web2c/otps/routines.c index 58b47153021..916998a9c63 100644 --- a/Build/source/texk/web2c/otps/routines.c +++ b/Build/source/texk/web2c/otps/routines.c @@ -480,7 +480,7 @@ add_to_state((instr<<24)+val); } void -store_state(string str) +store_state(const_string str) { int i; for (i=0; i<no_states; i++) { |