summaryrefslogtreecommitdiff
path: root/tests/coq/demo/Makefile
diff options
context:
space:
mode:
authorSon Ho2024-06-04 09:48:52 +0200
committerSon Ho2024-06-04 09:48:52 +0200
commit765a98e42c066595a0af44008159020eca257f89 (patch)
tree276abfce9463211f0c01ffd0f5fe8f0256f14bbc /tests/coq/demo/Makefile
parent0766885b6b72e6b9a91ffa944111776b7fe24557 (diff)
Improve merge_abstractions by splitting the markers before merging
Diffstat (limited to 'tests/coq/demo/Makefile')
0 files changed, 0 insertions, 0 deletions