diff options
| author | Emilio Jesus Gallego Arias | 2020-09-09 17:59:37 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-09-15 15:56:39 +0200 |
| commit | 79aac956aede707ca816360849bfb1ef910ec484 (patch) | |
| tree | 6c4e4fd870af5ce6892243d27c5144c941191a8d /kernel/nativecode.mli | |
| parent | 685f43dd6d8470992c3e74b4c14c133e74789796 (diff) | |
[micromega] Migrate from num to zarith
We still link num in `coqc` , that will be removed in a separate step.
Co-authored-by: Vincent Laporte <Vincent.Laporte@fondation-inria.fr>
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions