diff options
Diffstat (limited to 'otherlibs/unix/pipe.c')
| -rw-r--r-- | otherlibs/unix/pipe.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/unix/pipe.c b/otherlibs/unix/pipe.c index 683fa9993..4c1e97ce7 100644 --- a/otherlibs/unix/pipe.c +++ b/otherlibs/unix/pipe.c @@ -5,7 +5,7 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. Distributed only by permission. */ /* */ /***********************************************************************/ @@ -20,7 +20,7 @@ value unix_pipe(void) /* ML */ int fd[2]; value res; if (pipe(fd) == -1) uerror("pipe", Nothing); - res = alloc_tuple(2); + res = alloc_small(2, 0); Field(res, 0) = Val_int(fd[0]); Field(res, 1) = Val_int(fd[1]); return res; |