summaryrefslogtreecommitdiff
path: root/tests/coq/misc/_CoqProject
diff options
context:
space:
mode:
authorSon Ho2023-12-05 17:50:38 +0100
committerSon Ho2023-12-05 17:50:38 +0100
commiteb05c2e3b63377c323c33c1296495baa9357596a (patch)
tree95cde0e6b1edd06110fbde8a714aaa12811be2f1 /tests/coq/misc/_CoqProject
parent4795e5f823bc89504855d8eb946b111d9314f4d5 (diff)
Remove the type sv_kind ("symbolic value kind")
Diffstat (limited to 'tests/coq/misc/_CoqProject')
0 files changed, 0 insertions, 0 deletions