summaryrefslogtreecommitdiff
path: root/backends/lean/Base
diff options
context:
space:
mode:
authorSon Ho2024-03-29 16:13:13 +0100
committerSon Ho2024-03-29 16:13:13 +0100
commitc26dcd0a0e5dd35d486d3eed374644b115574408 (patch)
treed7c10bdc9e03d026d722181b580fe5ea376efd48 /backends/lean/Base
parent9403920e1e46157089f78bc42c553eec38181fa9 (diff)
Add some missing error messages
Diffstat (limited to 'backends/lean/Base')
0 files changed, 0 insertions, 0 deletions