diff options
| author | Pierre-Marie Pédrot | 2021-04-07 13:05:46 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2021-04-07 13:05:46 +0200 |
| commit | d98faea005d32b64252bf6bd50eb01f320a2bc8c (patch) | |
| tree | 477a765de071d2c207dbeef2bb1ded17d35800fa /lib/pp_diff.mli | |
| parent | 4e802522481684c1c70283cc6975cfaf4d9ceecd (diff) | |
| parent | e7c29762b995827288f09f7ad736185fb090d39c (diff) | |
Merge PR #14078: Remove unused UnivProblem.Set.subst_univs
Reviewed-by: ppedrot
Diffstat (limited to 'lib/pp_diff.mli')
0 files changed, 0 insertions, 0 deletions