diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2012-03-08 19:52:03 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2012-03-08 19:52:03 +0000 |
| commit | 6c24f4f90b23e8c4536281d31461adfe5a15b739 (patch) | |
| tree | 29f6c4af8052800cc7d0eafb9650c6be8e90a2e5 /stdlib/marshal.ml | |
| parent | 1fb4007ece64b1d59e16d7a84639fce1dd69ed45 (diff) | |
merge version 3.12 from 3.12.1 to r12205
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12210 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/marshal.ml')
| -rw-r--r-- | stdlib/marshal.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/stdlib/marshal.ml b/stdlib/marshal.ml index c42851504..638f05434 100644 --- a/stdlib/marshal.ml +++ b/stdlib/marshal.ml @@ -16,6 +16,7 @@ type extern_flags = No_sharing | Closures +(* note: this type definition is used in 'byterun/debugger.c' *) external to_channel: out_channel -> 'a -> extern_flags list -> unit = "caml_output_value" |