diff options
| author | Gaëtan Gilbert | 2020-10-12 15:15:12 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-10-12 15:15:12 +0200 |
| commit | 5da6b8c6546c2c1823592deb0bc1c64e85de0065 (patch) | |
| tree | 8a42a111c5a8b4692b81dca25cecb65e9e964f82 /kernel/genOpcodeFiles.ml | |
| parent | a78b394d372f259107017cdb129be3fe53a15894 (diff) | |
Respect Print Universes when printing primitive arrays
Diffstat (limited to 'kernel/genOpcodeFiles.ml')
0 files changed, 0 insertions, 0 deletions