diff options
| author | pierreweis <Pierre.Weis@inria.fr> | 2015-12-15 01:46:04 +0100 |
|---|---|---|
| committer | pierreweis <Pierre.Weis@inria.fr> | 2015-12-15 01:46:04 +0100 |
| commit | 376d471c8fe8734e02a834e7cabaceb8f0a4884f (patch) | |
| tree | b245b0d8bc8ab5669f05f808f927d4ec6cf1dbd0 /stdlib/pervasives.ml | |
| parent | c5ffb538b889734402fb4558741c76250ab55a83 (diff) | |
| download | ocaml-376d471c8fe8734e02a834e7cabaceb8f0a4884f.tar.gz | |
Details.
Diffstat (limited to 'stdlib/pervasives.ml')
| -rw-r--r-- | stdlib/pervasives.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/pervasives.ml b/stdlib/pervasives.ml index d9c57c874b..113d4244a8 100644 --- a/stdlib/pervasives.ml +++ b/stdlib/pervasives.ml @@ -498,7 +498,7 @@ external format_of_string : ('a, 'b, 'c, 'd, 'e, 'f) format6 -> ('a, 'b, 'c, 'd, 'e, 'f) format6 = "%identity" -let (^^) (Format (fmt1, str1)) (Format (fmt2, str2)) = +let ( ^^ ) (Format (fmt1, str1)) (Format (fmt2, str2)) = Format (CamlinternalFormatBasics.concat_fmt fmt1 fmt2, str1 ^ "%," ^ str2) |