diff options
| author | Pierre-Marie Pédrot | 2016-10-08 01:46:09 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2016-10-08 02:00:24 +0200 |
| commit | 6e8787737a0eae9ed8aa5b1696a94495e7cb6020 (patch) | |
| tree | b6f5e9f4d6ea0461ae584fa7bec0d67fc8a2a3d4 /kernel/nativecode.mli | |
| parent | 9bdd8aff92829aaa7c5a45b6e4e5adfa9e8789df (diff) | |
Fix bug #5066: Anomaly: cannot find Coq.Logic.JMeq.JMeq.
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions