diff options
| author | Son HO | 2024-05-29 07:46:40 +0200 |
|---|---|---|
| committer | GitHub | 2024-05-29 07:46:40 +0200 |
| commit | dc6737c2a74c2c5caa054c84f39b0f1edea2d1c2 (patch) | |
| tree | 674356fb329c7646460db6f8d0bdd2798f0f662e /compiler/Makefile | |
| parent | 6d024213541c0f87f1fde991d860c35cd4e5747b (diff) | |
| parent | 23747e8fff162170fa1108cc609db1a0f8f5fc96 (diff) | |
Merge pull request #221 from AeneasVerif/son/builtins
Factor out code in ExtractBuiltin.ml
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions