diff options
| author | Gaëtan Gilbert | 2018-10-30 18:09:31 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-10-30 21:47:36 +0100 |
| commit | f18ea56a697fe27467e499d35495e18b866de371 (patch) | |
| tree | 30503211af1548035b799d577a00d2f904ceb434 /dev/ci | |
| parent | 9a99bad924f3c82107a5ecfa7a906988f0f69309 (diff) | |
Remove Environ.set_universes / Typing.enrich_env
Made possible by the previous commit passing ~evars to
check_hyps_inclusion.
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions