diff options
| author | Pierre-Marie Pédrot | 2020-09-28 18:49:30 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-11-04 13:43:57 +0100 |
| commit | ae4346d74acf0d3e48a9660758dd7c064d14f749 (patch) | |
| tree | a7960f2855bf6bfd86b9d8fa90c9dcaab32709bf /kernel/genOpcodeFiles.ml | |
| parent | 5a25287987b8683ee3cbaa9a87ba0f8aebba896b (diff) | |
Further API cleanup after the removal of forward hints.
We know statically that only global references are passed to make_resolves.
Diffstat (limited to 'kernel/genOpcodeFiles.ml')
0 files changed, 0 insertions, 0 deletions