diff options
author | Son Ho | 2023-10-27 13:34:03 +0200 |
---|---|---|
committer | Son Ho | 2023-10-27 13:34:03 +0200 |
commit | 49117ba254679f98938223711810191c3f7d788f (patch) | |
tree | 2a29b2be5becbb90104c552b77b4f9d3b3fa2546 /compiler/Collections.ml | |
parent | 1c55079dac0c51e45f7d77c67bfdbdb8c52ed192 (diff) |
Regenerate the Coq test files
Diffstat (limited to 'compiler/Collections.ml')
0 files changed, 0 insertions, 0 deletions