diff options
| author | Emilio Jesus Gallego Arias | 2020-11-26 21:32:37 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-11-26 22:08:01 +0100 |
| commit | 1f0f1ae93f757be8101d598f8aaf5b564bde9dcd (patch) | |
| tree | 5afe9610e6412cf6e15bd3e158f04e32bd2d17e2 /vernac/comProgramFixpoint.ml | |
| parent | 50af46a596af607493ce46da782389e8a82e8354 (diff) | |
[attributes] [typing] Rename `typing` to `bypass_check`
As discussed in the Coq meeting.
Diffstat (limited to 'vernac/comProgramFixpoint.ml')
0 files changed, 0 insertions, 0 deletions