diff options
| author | Matthieu Sozeau | 2017-05-29 17:39:03 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2017-05-29 17:39:03 +0200 |
| commit | 22014c3fd400446556d3c2d7548d4638a7ed96ee (patch) | |
| tree | 97d4e7d8e31a94a97f76389a8803cdb557f9c534 /pretyping/program.mli | |
| parent | 7855fa596d5308a1c153b98146e57e9408bf8c5d (diff) | |
Ltac cleanup: no more constr_of_global calls
Diffstat (limited to 'pretyping/program.mli')
0 files changed, 0 insertions, 0 deletions