diff options
Diffstat (limited to 'otherlibs/win32unix/pipe.c')
| -rw-r--r-- | otherlibs/win32unix/pipe.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/win32unix/pipe.c b/otherlibs/win32unix/pipe.c index 411a76bad..0cba882f8 100644 --- a/otherlibs/win32unix/pipe.c +++ b/otherlibs/win32unix/pipe.c @@ -5,7 +5,7 @@ /* Xavier Leroy and Pascal Cuoq, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. Distributed only by permission. */ /* */ /***********************************************************************/ @@ -35,7 +35,7 @@ value unix_pipe(value unit) /* ML */ Begin_roots2(readfd, writefd) readfd = win_alloc_handle(readh); writefd = win_alloc_handle(writeh); - res = alloc_tuple(2); + res = alloc_small(2, 0); Field(res, 0) = readfd; Field(res, 1) = writefd; End_roots(); |