diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1997-07-02 18:16:15 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1997-07-02 18:16:15 +0000 |
| commit | b149e67a887edbe66c5159dcc09485862ff3cf55 (patch) | |
| tree | 5be8990215f73919b29c461d86726e75001e7f07 /byterun/debugger.c | |
| parent | f9ca4fbbeb38d1c1979300f68a9e37b409eb4c7e (diff) | |
Nouveau module Marshal dans stdlib
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1633 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'byterun/debugger.c')
| -rw-r--r-- | byterun/debugger.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/byterun/debugger.c b/byterun/debugger.c index 542d8dab2..fb87f1978 100644 --- a/byterun/debugger.c +++ b/byterun/debugger.c @@ -159,7 +159,7 @@ static void safe_output_value(chan, val) saved_external_raise = external_raise; if (sigsetjmp(raise_buf.buf, 1) == 0) { external_raise = &raise_buf; - output_value(chan, val); + output_value(chan, val, Val_unit); } else { /* Send wrong magic number, will cause input_value to fail */ really_putblock(chan, "\000\000\000\000", 4); |