diff options
| author | Emilio Jesus Gallego Arias | 2020-03-26 03:09:51 -0400 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-03-31 05:16:51 -0400 |
| commit | d9ed86ad133b48c948ea2db0bce7f00f47705970 (patch) | |
| tree | ab2a1c6307eafdc3e5aaf3409de5fd4b64be16bb /dev/base_include | |
| parent | e9c05828bba7ceb696a5c17457b8e0826bbd94f1 (diff) | |
[proof] Minor refactorings in Proof_global
We do some minor refactoring, removing one-use local definitions, and
cleaning up the `EConstr.t -> Constr.t` path, what is going on with
the use of unsafe it now becomes clear.
Diffstat (limited to 'dev/base_include')
0 files changed, 0 insertions, 0 deletions