diff options
Diffstat (limited to 'Build/source/texk/web2c/cwebboot.cin')
-rw-r--r-- | Build/source/texk/web2c/cwebboot.cin | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/cwebboot.cin b/Build/source/texk/web2c/cwebboot.cin index 821f88c1707..0e0dedba9f4 100644 --- a/Build/source/texk/web2c/cwebboot.cin +++ b/Build/source/texk/web2c/cwebboot.cin @@ -18,8 +18,8 @@ #include <kpathsea/simpletypes.h> #include <stddef.h> #include <stdint.h> -#include <stdlib.h> #include <stdio.h> +#include <stdlib.h> #include <string.h> /*:3*//*89:*/ @@ -541,7 +541,7 @@ textdomain("cweb"); #line 1139 "cwebdir/common.w" #line 454 "cwebdir/comm-w2c.ch" -make_xrefs= check_for_change= true; +make_xrefs= true; #line 1141 "cwebdir/common.w" /*:74*/ |