diff options
Diffstat (limited to 'Build/source/texk/web2c/web2c/main.c')
-rw-r--r-- | Build/source/texk/web2c/web2c/main.c | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/Build/source/texk/web2c/web2c/main.c b/Build/source/texk/web2c/web2c/main.c index a90171ff655..9a872b2ab61 100644 --- a/Build/source/texk/web2c/web2c/main.c +++ b/Build/source/texk/web2c/web2c/main.c @@ -53,7 +53,7 @@ FILE *out; FILE *coerce; int pf_count = 1; -char *std_header = "null.h"; /* Default include filename */ +const char *std_header = "null.h"; /* Default include filename */ char strings[max_strings]; int hash_list[hash_prime]; @@ -62,9 +62,6 @@ struct sym_entry sym_table[sym_table_size]; int next_sym_free = -1, next_string_free = 0; int mark_sym_free, mark_string_free; -int argc; -char **gargv; - extern int yyleng; void @@ -100,7 +97,7 @@ new_line (void) /* Output the string S to the file `out'. */ void -my_output (string s) +my_output (const_string s) { int len = strlen (s); int less_indent = 0; |