summaryrefslogtreecommitdiff
path: root/byterun/misc.c
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>2002-01-20 17:39:10 +0000
committerDamien Doligez <damien.doligez-inria.fr>2002-01-20 17:39:10 +0000
commit0dbce74fc87015b7efa837f7529513075b6d73be (patch)
tree6cc2612b63b8ef95401f0809ed9af0ce26d0255c /byterun/misc.c
parent196b2190204e85ce85140ada0d06cb590bd662e8 (diff)
downloadocaml-0dbce74fc87015b7efa837f7529513075b6d73be.tar.gz
lazy a la Tolmach
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4291 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'byterun/misc.c')
-rw-r--r--byterun/misc.c3
1 files changed, 2 insertions, 1 deletions
diff --git a/byterun/misc.c b/byterun/misc.c
index c73c9b5f05..536bd1b4a8 100644
--- a/byterun/misc.c
+++ b/byterun/misc.c
@@ -23,12 +23,13 @@
#ifdef DEBUG
-void caml_failed_assert (char * expr, char * file, int line)
+int caml_failed_assert (char * expr, char * file, int line)
{
fprintf (stderr, "file %s; line %d ### Assertion failed: %s\n",
file, line, expr);
fflush (stderr);
exit (100);
+ return 1; /* not reached */
}
#endif