summaryrefslogtreecommitdiff
path: root/tests/lean/External
diff options
context:
space:
mode:
authorSon Ho2023-09-16 22:50:19 +0200
committerSon Ho2023-09-16 22:50:19 +0200
commit515d95d786fed13c300b9e0d7619711ee6aaf971 (patch)
tree98d04b53e410b43f01b5840050401c0162662a52 /tests/lean/External
parente6e749d47f05a6d48625c305b6af132440382efb (diff)
Add a strict_names_map in the extraction_ctx
Diffstat (limited to 'tests/lean/External')
0 files changed, 0 insertions, 0 deletions