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 /stdlib/pervasives.ml | |
| parent | 705ee171b9d67774f000cf8a5e0698b7731a1aaa (diff) | |
| download | ocaml-b80c77b025a09fb28abbd5d7fcd81cb5b2efba5f.tar.gz | |
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 'stdlib/pervasives.ml')
| -rw-r--r-- | stdlib/pervasives.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/stdlib/pervasives.ml b/stdlib/pervasives.ml index 6e5cab16c5..20412d4212 100644 --- a/stdlib/pervasives.ml +++ b/stdlib/pervasives.ml @@ -22,7 +22,6 @@ let failwith s = raise(Failure s) let invalid_arg s = raise(Invalid_argument s) exception Exit -exception Assert_failure of (string * int * int) (* Comparisons *) |