diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 1999-10-14 17:07:59 +0000 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 1999-10-14 17:07:59 +0000 |
commit | d898f2a9206c3b0b1a13472f4ca80b3bb22c3efb (patch) | |
tree | 4268dd8c8f0c19110b597cd0586855cbe2311430 /otherlibs/unix/errmsg.c | |
parent | 615389e08cd83e699d750f98bc8366aa38dbdfec (diff) |
Ne pas simplifier les applications de primitives si les arguments ne sont pas purs (cf. bug report de Andrew Kay)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2434 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/unix/errmsg.c')
0 files changed, 0 insertions, 0 deletions