diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2010-01-22 12:20:35 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2010-01-22 12:20:35 +0000 |
commit | 68267fad21f7506f4613a9f7308e3a7c46d8f8e6 (patch) | |
tree | ba6c54bce6ce66285dd776bd8db92b350517d027 /Build/source/texk/web2c/pooltype.ch | |
parent | 249b1077f09eb70b8d06368e5fde89062bd82050 (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.ch | 2 |
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 |