diff options
| author | Gaëtan Gilbert | 2019-10-02 16:42:16 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-10-02 16:42:16 +0200 |
| commit | 92a55bf800a34b5ec283ce0419cde98f3312c9b8 (patch) | |
| tree | 0e7517a16ac6c0b98169225176d9c3ecfabc91a5 /kernel/genOpcodeFiles.ml | |
| parent | b6f77dc89b62bdb43f2f07ba31b181a10dfcfc39 (diff) | |
| parent | 08740d8e5a6974183e13b4cf372caade1c25f6fa (diff) | |
Merge PR #10809: Postpone the computation of relative constraints in universe unification
Reviewed-by: SkySkimmer
Diffstat (limited to 'kernel/genOpcodeFiles.ml')
0 files changed, 0 insertions, 0 deletions