diff options
| author | Pierre-Marie Pédrot | 2019-03-15 18:39:48 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2021-01-04 14:01:45 +0100 |
| commit | fd50f21cfe2460fa35fe962390f4ba810d7ca837 (patch) | |
| tree | aa8ac4dbae7e148bb6d383d439d225640ac3d86e /kernel/inductive.mli | |
| parent | 0d7365e6ddcbd14933fcedae777649d31fb311cc (diff) | |
Temporarily deactivating printing check for cases.
Destruct has changed semantics, but I'd like to see how CI fares so far.
Diffstat (limited to 'kernel/inductive.mli')
0 files changed, 0 insertions, 0 deletions