summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/pooltype.ch
diff options
context:
space:
mode:
authorPeter Breitenlohner <peb@mppmu.mpg.de>2010-01-22 12:20:35 +0000
committerPeter Breitenlohner <peb@mppmu.mpg.de>2010-01-22 12:20:35 +0000
commit68267fad21f7506f4613a9f7308e3a7c46d8f8e6 (patch)
treeba6c54bce6ce66285dd776bd8db92b350517d027 /Build/source/texk/web2c/pooltype.ch
parent249b1077f09eb70b8d06368e5fde89062bd82050 (diff)
constify various filename strings
git-svn-id: svn://tug.org/texlive/trunk@16799 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/pooltype.ch')
-rw-r--r--Build/source/texk/web2c/pooltype.ch2
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/pooltype.ch b/Build/source/texk/web2c/pooltype.ch
index f93b7bb7c46..55e8a65bd8b 100644
--- a/Build/source/texk/web2c/pooltype.ch
+++ b/Build/source/texk/web2c/pooltype.ch
@@ -68,7 +68,7 @@ end.
@y
@!pool_file:packed file of text_char;
{the string-pool file output by \.{TANGLE}}
-@!pool_name:^char;
+@!pool_name:const_c_string;
@z
% The name of the pool file is dynamically determined. We open it at the