diff options
author | Karl Berry <karl@freefriends.org> | 2006-12-19 01:35:49 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2006-12-19 01:35:49 +0000 |
commit | 192c587956426d6922b1495496902ad29b569514 (patch) | |
tree | 406ca21c5d1920afdc889ea97116d78674548b3e /Build/source/texk/web2c/omegadir | |
parent | 9a09aff4683470dfbaa491c0e38b230f6c88b6d9 (diff) |
update mf.web (from ftp.stanford.edu), and excise unused variables (from Akira)
git-svn-id: svn://tug.org/texlive/trunk@2804 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/omegadir')
-rw-r--r-- | Build/source/texk/web2c/omegadir/com16bit.ch | 4 | ||||
-rw-r--r-- | Build/source/texk/web2c/omegadir/comsrcspec.ch | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/Build/source/texk/web2c/omegadir/com16bit.ch b/Build/source/texk/web2c/omegadir/com16bit.ch index 7fb3802d882..98da09fb4ae 100644 --- a/Build/source/texk/web2c/omegadir/com16bit.ch +++ b/Build/source/texk/web2c/omegadir/com16bit.ch @@ -1422,7 +1422,7 @@ loop@+ begin begin_file_reading; {set up |cur_file| and new level of input} if a_open_in(cur_file) then goto done; end; @y -var temp_str: str_number; k: integer; +var temp_str: str_number; begin scan_file_name; {set |cur_name| to desired file name} pack_cur_name; loop@+begin @@ -1910,7 +1910,7 @@ flushable_string:=str_ptr-1; @y @z -% If you don't want to remove code with the following change, +% If you don't want to remove code with the following two changes, % please replace the former change by % % @x diff --git a/Build/source/texk/web2c/omegadir/comsrcspec.ch b/Build/source/texk/web2c/omegadir/comsrcspec.ch index d8e73ad4c7c..17c15263e2c 100644 --- a/Build/source/texk/web2c/omegadir/comsrcspec.ch +++ b/Build/source/texk/web2c/omegadir/comsrcspec.ch @@ -327,7 +327,7 @@ begin end; procedure append_src_special; -var p, q : pointer; +var q : pointer; begin if (source_filename_stack[in_open] > 0 and is_new_source (source_filename_stack[in_open], line)) then begin new_whatsit (special_node, write_node_size); |