diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 1996-11-06 16:51:11 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 1996-11-06 16:51:11 +0000 |
| commit | 284a90de8b078fd90c985641924554781744ef18 (patch) | |
| tree | 02abebf327f3b70cde5a3449691edaee80a779bd /byterun/misc.c | |
| parent | 38b502aa70d6d5b2282ac0d2518e269b7b702035 (diff) | |
misc.c: ajout d'un cast
Makefile.Mac: suppression de -opt speed, ajout -d _STDC_
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1151 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'byterun/misc.c')
| -rw-r--r-- | byterun/misc.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/byterun/misc.c b/byterun/misc.c index 37b1f8363..ac5f8687e 100644 --- a/byterun/misc.c +++ b/byterun/misc.c @@ -47,7 +47,7 @@ void gc_message (msg, arg) { if (verb_gc){ #ifdef HAS_UI - ui_print_stderr(msg, arg); + ui_print_stderr(msg, (void *) arg); #else fprintf (stderr, msg, arg); fflush (stderr); |