aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/Bug308CrossModule.html
diff options
context:
space:
mode:
authorBrian Huffman <huffman@galois.com>2017-03-17 15:10:40 -0700
committerAlex Biehl <alexbiehl@gmail.com>2017-03-23 17:45:58 +0100
commit29c76f761fe131cc00272eed9a0137953dba6180 (patch)
tree1e5b077c15071b5efeddcfa1f4d90aa03301db5a /html-test/ref/Bug308CrossModule.html
parentf6f9bca1416f6cee48f2d4731a6c38db92e87300 (diff)
Update test suite to expect kind annotations on type parameters.
Diffstat (limited to 'html-test/ref/Bug308CrossModule.html')
0 files changed, 0 insertions, 0 deletions