Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. parsetree: map on all locations in toplevel directives (details)
Commit ba67146c64f9abd8928d19b2e19b42f4b2ba1195 by Florian Angeletti
parsetree: map on all locations in toplevel directives
The file was modifiedparsing/ast_mapper.ml (diff)
The file was modifiedparsing/ast_iterator.ml (diff)
The file was modifiedChanges (diff)