summaryrefslogtreecommitdiff
path: root/tests/coq/misc/Makefile
diff options
context:
space:
mode:
authorAymeric Fromherz2024-05-31 13:08:08 +0200
committerAymeric Fromherz2024-05-31 13:08:08 +0200
commit1ee3d0f7d4f3c83351d5989c7979be3642069e63 (patch)
treecf588552d01d93e1fdb4f32a83e8b317b8a3f6df /tests/coq/misc/Makefile
parent52bcaf0cdd1c08ece0f9f09bdc0d32b753a2a00f (diff)
Avoid adding shared loans twice when merging environments
Diffstat (limited to 'tests/coq/misc/Makefile')
0 files changed, 0 insertions, 0 deletions