diff options
| author | Gaëtan Gilbert | 2020-02-27 14:06:16 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-03-31 14:39:43 +0200 |
| commit | 699152de685ba5e2dc05fd6248b17c3139987bb7 (patch) | |
| tree | 63cd99709c431fc6cb73886622bff9f22457be9e /kernel/genOpcodeFiles.ml | |
| parent | f19cf4259f63a9c0392c922527e0e9002192949e (diff) | |
Try only using TC for conversion in cominductive (not great but let's see)
Diffstat (limited to 'kernel/genOpcodeFiles.ml')
0 files changed, 0 insertions, 0 deletions