diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2018-06-10 12:36:49 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2018-06-12 11:18:46 +0200 |
| commit | 3551dd18f515e0fbf114708ea64e5c3662124093 (patch) | |
| tree | de3bbd1a906b359f44bdbce3248864f12c11567d /kernel/esubst.ml | |
| parent | ab4bce38a7c0d08d1ebff70c4115b7c1d8e8be88 (diff) | |
[VM] Rename reloc -> cenv
The renaming is internal only. I believe the name reloc is legacy and
a bit confusing now that the structure contains a full compilation
environment.
Diffstat (limited to 'kernel/esubst.ml')
0 files changed, 0 insertions, 0 deletions