summaryrefslogtreecommitdiff
path: root/asmcomp/cmmgen.ml
diff options
context:
space:
mode:
authorFlorian Angeletti <florian.angeletti@inria.fr>2020-01-10 09:47:41 +0100
committerFlorian Angeletti <florian.angeletti@inria.fr>2020-01-10 09:49:02 +0100
commit4fdba2f638d5ab40e1c6149e98488bd507f0eaf0 (patch)
treef358a9b2eb1810e4e5243273dfee9440f034104f /asmcomp/cmmgen.ml
parent8d8e991cedeef372ca029625fc4680572f2c4048 (diff)
downloadocaml-4fdba2f638d5ab40e1c6149e98488bd507f0eaf0.tar.gz
Merge pull request #9185 from hhugo/fix-unused-open
fix spurious 'unused open' warning with classes and polymorphic variants (cherry picked from commit d2c4e791fad6340c74abf741af3e79eb1f9c20d7)
Diffstat (limited to 'asmcomp/cmmgen.ml')
0 files changed, 0 insertions, 0 deletions