Skip to content
Success

Changes

Summary

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