summaryrefslogtreecommitdiff
path: root/testsuite/tests/basic-modules/pr6726.ml
Commit message (Expand)AuthorAgeFilesLines
* Remove copyright notices in test files.Sébastien Hinderer2016-05-031-15/+0
* Update headers for the new license.Damien Doligez2016-02-181-11/+14
* whitespace cleanup, cut long lines, add some missing headersDamien Doligez2015-09-111-1/+13
* Fix PR#6726: Access to the wrong field of aliased moduleJacques Garrigue2014-12-191-0/+18