summaryrefslogtreecommitdiff
path: root/asmcomp/split.ml
diff options
context:
space:
mode:
authorAlain Frisch <alain@frisch.fr>2016-07-01 16:57:29 +0200
committerGitHub <noreply@github.com>2016-07-01 16:57:29 +0200
commitbed7e23657c97e5e5c023886b54f53e6fb666399 (patch)
treef72e0678914cedca7c5465f2fa7183bd8cff5ae1 /asmcomp/split.ml
parent83b7d6fa2d9ea03f8e3c21e521c16b0f7c9815f8 (diff)
parentd34a05bda495861bc8741985f9887a0fced123e9 (diff)
downloadocaml-bed7e23657c97e5e5c023886b54f53e6fb666399.tar.gz
Merge pull request #501 from Octachron/non_exhaustivity_wording
PR#7169: Rephrase non-exhaustivity warning message to avoid confusion
Diffstat (limited to 'asmcomp/split.ml')
0 files changed, 0 insertions, 0 deletions