diff options
| author | Son Ho | 2023-12-18 10:21:08 +0100 |
|---|---|---|
| committer | Son Ho | 2023-12-18 10:21:08 +0100 |
| commit | a49754a5b11e4de8793dc7e13c2962d139eb03b1 (patch) | |
| tree | 4b1d532d075a4831fa04d6d2d3f87ece3a84f47b /compiler/PrintPure.ml | |
| parent | 2fb4ca72b112f6181d74d1ca37ed6d54c65f43cd (diff) | |
Rename some definitions
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions