diff options
Diffstat (limited to 'Build/source/texk/seetexk/gripes1.c')
| -rw-r--r-- | Build/source/texk/seetexk/gripes1.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/seetexk/gripes1.c b/Build/source/texk/seetexk/gripes1.c index 2db8f1051b5..00c3885676b 100644 --- a/Build/source/texk/seetexk/gripes1.c +++ b/Build/source/texk/seetexk/gripes1.c @@ -24,11 +24,11 @@ * Gripes having to do with DVI files. */ -#include <stdio.h> #include "types.h" #include "error.h" #include "font.h" #include "gripes.h" +#include <stdio.h> static const char * dfn(void) |