diff options
| author | Pierre-Marie Pédrot | 2018-09-12 13:11:53 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-09-12 13:11:53 +0200 |
| commit | 3c7b8a7019424606cac07d50844759e2ee0e9262 (patch) | |
| tree | 047ea13e3918d3e70729e9cf9d34ee72703956ab /engine | |
| parent | 39ca9e6931b55e63219a22a678eb6c15b0015a0f (diff) | |
| parent | e3e9300a2444f5d2e595a63bf63c91e61653d77d (diff) | |
Merge PR #8433: Fix bug #8432 : program fixpoint and universes
Diffstat (limited to 'engine')
0 files changed, 0 insertions, 0 deletions