diff options
author | IOhannes m zmölnig (Debian/GNU) <umlaeute@debian.org> | 2017-10-23 13:07:26 +0200 |
---|---|---|
committer | IOhannes m zmölnig (Debian/GNU) <umlaeute@debian.org> | 2017-10-23 13:07:26 +0200 |
commit | 101f0221b557866db79beae024b1418820b24998 (patch) | |
tree | e1f1b3dc7f28b8d1b0b1f1c9d4edaf37aa128df3 /xen.c | |
parent | a34abe0c374d2a9ec1bb5b1825bc0f88eaa7166c (diff) |
New upstream version 17.8
Diffstat (limited to 'xen.c')
-rw-r--r-- | xen.c | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1612,6 +1612,7 @@ static Xen g_tmpnam(void) static Xen g_ftell(Xen fd) { + Xen_check_type(Xen_is_integer(fd), fd, 1, "ftell", "an integer"); return(C_int_to_Xen_integer(lseek(Xen_integer_to_C_int(fd), 0, SEEK_CUR))); } |