diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2000-12-04 15:37:05 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2000-12-04 15:37:05 +0000 |
| commit | b80c77b025a09fb28abbd5d7fcd81cb5b2efba5f (patch) | |
| tree | 811db8dde506ee55836f8a10fb457ab5a98a6de0 /otherlibs/unix/unix.ml | |
| parent | 705ee171b9d67774f000cf8a5e0698b7731a1aaa (diff) | |
fix -noassert pour que le typage des assertions soit toujours fait
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3353 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/unix/unix.ml')
0 files changed, 0 insertions, 0 deletions