diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2009-06-15 15:16:51 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2009-06-15 15:16:51 +0000 |
commit | a13fa3342001a13e250113815da70344a009380e (patch) | |
tree | 2b6c5ffb03d5ffc6538bfccb517d7db3a9c75cea /Build/source/texk/web2c/lib/inputint.c | |
parent | 9b9bd438a2fac27b0347aef44b584acfd52d53ab (diff) |
avoid compiler warnings
git-svn-id: svn://tug.org/texlive/trunk@13758 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/lib/inputint.c')
-rw-r--r-- | Build/source/texk/web2c/lib/inputint.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/lib/inputint.c b/Build/source/texk/web2c/lib/inputint.c index 6ee9a59db00..3082c8a112f 100644 --- a/Build/source/texk/web2c/lib/inputint.c +++ b/Build/source/texk/web2c/lib/inputint.c @@ -3,7 +3,7 @@ necessary. Public domain. */ #include "config.h" - +#include "lib.h" /* Read an integer from the file F, reading past the subsequent end of line. */ |