diff options
| author | Pierre-Marie Pédrot | 2019-10-01 16:04:48 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-10-01 16:04:48 +0200 |
| commit | 336466ddd256dea9ef0dd9a009433a35534601a9 (patch) | |
| tree | 44e0a071b3b48e62fcd76ae648226711fa5173a0 /kernel/genOpcodeFiles.ml | |
| parent | 77fd11a9f012a2878e13451e9d8a9f500c6392eb (diff) | |
Remove spurious uses of CoInductive in SSR prerequisite.
Diffstat (limited to 'kernel/genOpcodeFiles.ml')
0 files changed, 0 insertions, 0 deletions