Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. toplevel: fix printing of qualified labels (details)
  2. update Changes (details)
Commit d5be817f104721b4a41ecf7729f16f72b51cb407 by Florian Angeletti
toplevel: fix printing of qualified labels
The file was modifiedtoplevel/genprintval.ml (diff)
The file was modifiedtestsuite/tests/tool-toplevel/constructor_printing.ml (diff)
The file was modifiedChanges (diff)