diff options
| author | Matthieu Sozeau | 2014-07-03 23:24:17 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-07-03 23:24:17 +0200 |
| commit | 7e4925b78162226331c65ef77f2da681a0b8ee48 (patch) | |
| tree | cd2dd3da8364319eee84d0335d8a8b7e5ce2ace3 /kernel/nativecode.mli | |
| parent | 84377c4d13418b0614d12a98a3f01421b52ac1e6 (diff) | |
Properly compute the transitive closure of the system of constraints
generated by a mutual inductive definition (bug found in CFGV). Actually this
code can move out of the kernel.
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions