summaryrefslogtreecommitdiff
path: root/backends/coq
diff options
context:
space:
mode:
authorSon Ho2024-03-29 16:21:15 +0100
committerSon Ho2024-03-29 16:21:15 +0100
commit5809c45fbbfcbb78b15a97be619dcde4ab4868b8 (patch)
tree52b7a9136f45701c14cd377913f0f5078b80fa72 /backends/coq
parentc26dcd0a0e5dd35d486d3eed374644b115574408 (diff)
Add some error messages
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions