summaryrefslogtreecommitdiff
path: root/tests/hol4/misc-polonius_list/Holmakefile
diff options
context:
space:
mode:
authorSon Ho2023-09-03 17:56:35 +0200
committerSon Ho2023-09-03 17:56:35 +0200
commit0c0b7692cc3d95adf21bccf83d5bb2f81487ca4f (patch)
treed74e43718bda8496731290945509e204f366d1cb /tests/hol4/misc-polonius_list/Holmakefile
parent0e0f3d586e7e74003ebff129a1e91b87602467e7 (diff)
Register the names for the trait decls
Diffstat (limited to 'tests/hol4/misc-polonius_list/Holmakefile')
0 files changed, 0 insertions, 0 deletions