diff options
author | Guillaume Boisseau | 2024-05-14 14:49:56 +0200 |
---|---|---|
committer | Nadrieril | 2024-05-14 15:01:39 +0200 |
commit | 50f5794587c56be833bd2fc0f48d008a46fc69a0 (patch) | |
tree | 45bd9be065218c24c259a84fd95c68644b7bf722 /compiler/Interpreter.ml | |
parent | b923f7232a9e98a0b039b722ffedcf91051edbe6 (diff) |
Tweak wording
Co-authored-by: Son HO <hosonmarc@gmail.com>
Diffstat (limited to 'compiler/Interpreter.ml')
0 files changed, 0 insertions, 0 deletions