diff options
| author | Malte Voos <git@mal.tc> | 2024-02-20 14:03:00 +0100 |
|---|---|---|
| committer | Malte Voos <git@mal.tc> | 2024-02-20 14:03:00 +0100 |
| commit | edcd6c17b873b11b18016c9fe6efbe47576574ae (patch) | |
| tree | 36cae8e6e143820e6633384221a602d394f5edb9 /lib/Elab.ml | |
| parent | 4b2a72d01b48b9e5fd4743b98b0c6bf6422cfc0c (diff) | |
| download | toytt-edcd6c17b873b11b18016c9fe6efbe47576574ae.tar.gz toytt-edcd6c17b873b11b18016c9fe6efbe47576574ae.zip | |
rename Ast.pp_* -> Ast.dump_*
Diffstat (limited to 'lib/Elab.ml')
0 files changed, 0 insertions, 0 deletions