diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1997-05-15 13:26:56 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1997-05-15 13:26:56 +0000 |
| commit | 5f13aa1f5ed71e746e24455b99b4cd12fd5c7d92 (patch) | |
| tree | d86628fad0d34450f654ad6740c3bf844e63c98f | |
| parent | 1737066bf364d125a1a690b0065d208805511b5b (diff) | |
Grouper les arguments de Assert_failure.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1555 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | otherlibs/systhreads/pervasives.ml | 2 | ||||
| -rw-r--r-- | otherlibs/threads/pervasives.ml | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/systhreads/pervasives.ml b/otherlibs/systhreads/pervasives.ml index cd4063f4b..a86f44d72 100644 --- a/otherlibs/systhreads/pervasives.ml +++ b/otherlibs/systhreads/pervasives.ml @@ -24,7 +24,7 @@ let failwith s = raise(Failure s) let invalid_arg s = raise(Invalid_argument s) exception Exit -exception Assert_failure of string * int * int +exception Assert_failure of (string * int * int) (* Comparisons *) diff --git a/otherlibs/threads/pervasives.ml b/otherlibs/threads/pervasives.ml index 1b501d83a..c9c4f32ab 100644 --- a/otherlibs/threads/pervasives.ml +++ b/otherlibs/threads/pervasives.ml @@ -25,7 +25,7 @@ let failwith s = raise(Failure s) let invalid_arg s = raise(Invalid_argument s) exception Exit -exception Assert_failure of string * int * int +exception Assert_failure of (string * int * int) (* Comparisons *) |