summaryrefslogtreecommitdiff
path: root/tests/coq/misc/External_Opaque.v
diff options
context:
space:
mode:
authorSon Ho2023-06-02 17:26:08 +0200
committerSon HO2023-06-04 21:54:38 +0200
commit53adf30fe440eb8b6f58ba89f4a4c0acc7877498 (patch)
tree1d31d111bc373af8a0df1f7a72f6a77e4aedec3a /tests/coq/misc/External_Opaque.v
parentdc46dbb9a01329c39673fedc195006745c365030 (diff)
Add a comment
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions