diff options
author | Son HO | 2024-06-18 08:33:09 +0200 |
---|---|---|
committer | GitHub | 2024-06-18 08:33:09 +0200 |
commit | 43a9fb0fa5a1c03a7cce575a052f0d4201189d1d (patch) | |
tree | c967637249ea1c9001983e09e1f04f17b8e0a1d4 /compiler/Errors.ml | |
parent | 76ab141814644a94bffc8497e5845436d86b1083 (diff) | |
parent | 878be6d051f2f920fdc6c90add8423fa6f489492 (diff) |
Merge pull request #246 from AeneasVerif/son/cleanup
Do some cleanup in the test files and the Lean backend
Diffstat (limited to 'compiler/Errors.ml')
0 files changed, 0 insertions, 0 deletions