diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 1999-11-08 17:08:10 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 1999-11-08 17:08:10 +0000 |
| commit | 5205eb55072b53a5083b4661e014d1e43a44d109 (patch) | |
| tree | 918cb88d51cdaebcdf06f310e8adebc92f622c6a | |
| parent | 2951f3adf04ad871b02389c4794631c3303dae18 (diff) | |
failed_assert n'est declare que si DEBUG est vrai
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2488 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | byterun/misc.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/byterun/misc.h b/byterun/misc.h index 2dbab50a1..90dc71e55 100644 --- a/byterun/misc.h +++ b/byterun/misc.h @@ -45,11 +45,11 @@ typedef char * addr; #ifdef DEBUG #define Assert(x) if (!(x)) failed_assert ( #x , __FILE__, __LINE__) +void failed_assert (char *, char *, int) Noreturn; #else #define Assert(x) #endif -void failed_assert (char *, char *, int) Noreturn; void fatal_error (char *) Noreturn; void fatal_error_arg (char *, char *) Noreturn; |