diff options
| author | Guillaume Melquiond | 2019-12-22 11:07:01 +0400 |
|---|---|---|
| committer | Guillaume Melquiond | 2019-12-22 11:07:01 +0400 |
| commit | ec337b6e5be76b69b4c82af682a08cfec2a8e12a (patch) | |
| tree | c9654824604bc7b429d95f0a409846af85eaf688 /kernel/genOpcodeFiles.ml | |
| parent | 9c75b6a6582620e2fb9a39c1ea1aa46a321af6a7 (diff) | |
Do not hide constants from the compiler.
Diffstat (limited to 'kernel/genOpcodeFiles.ml')
0 files changed, 0 insertions, 0 deletions