diff options
author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2014-12-21 08:26:18 +0000 |
---|---|---|
committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2014-12-21 08:26:18 +0000 |
commit | 4c5c12478533f8a8fd35d10882ba0f1700a615ea (patch) | |
tree | 77ae4be5b1488b71bec476d619a1c5ff74ff384f /stdlib/bytes.ml | |
parent | f517bd29476df0459eff5dfc43a4fb8e8aa590f5 (diff) |
PR#6466: use "extensible variant" rather than "open" types in error message
(Leo White)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15715 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/bytes.ml')
0 files changed, 0 insertions, 0 deletions