summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2020-02-07 10:34:21 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2020-02-07 10:34:21 -0500
commitef4e0c207abd0e41badf7bf0052b498eb6c01d43 (patch)
tree0c799af4d4680a9260c8b6209116b4f1d54b2f28 /tests
parentb0690cc786c858b4a41c7682937bebd53d318f6a (diff)
Fix signature matching of an imported datatype vs. a fresh datatype
Diffstat (limited to 'tests')
0 files changed, 0 insertions, 0 deletions