diff options
| author | Pierre-Marie Pédrot | 2020-02-27 00:04:16 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-03-06 14:47:09 +0100 |
| commit | 80abeda8ac0d89fe44c23ad529c408d2e18779b5 (patch) | |
| tree | 487258bc87aba8653a17b481027592648d89eb62 /kernel/genOpcodeFiles.ml | |
| parent | 95d294fede1d581cec2913991961b332acfea8b3 (diff) | |
Actually take advantage of the universes contained in side-effect certificates.
Diffstat (limited to 'kernel/genOpcodeFiles.ml')
0 files changed, 0 insertions, 0 deletions