diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1997-03-21 10:46:09 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1997-03-21 10:46:09 +0000 |
| commit | ec2ab0e1b13734ed2f7f411bca5637e6dd64cf4d (patch) | |
| tree | a20d5b04fc4528591e4a91dc936534b169c5caea /otherlibs/win32unix/windir.c | |
| parent | cb7a4f3472971e6fe0cbb2f7b84fb5cec7711bbe (diff) | |
Un Pop_roots oublie.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1426 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/win32unix/windir.c')
| -rw-r--r-- | otherlibs/win32unix/windir.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/otherlibs/win32unix/windir.c b/otherlibs/win32unix/windir.c index 2661133b7..df6b5aa13 100644 --- a/otherlibs/win32unix/windir.c +++ b/otherlibs/win32unix/windir.c @@ -38,6 +38,7 @@ value win_findfirst(name) /* ML */ v = alloc_tuple(2); Field(v,0) = valname; Field(v,1) = Val_int(h); + Pop_roots(); return v; } |