diff options
| author | Gaëtan Gilbert | 2018-09-24 11:54:29 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-09-24 11:54:29 +0200 |
| commit | 5764e978a30c21f017741b984bc60a4f7b94faf8 (patch) | |
| tree | 0c38db7fb5ba36dd66d6e88b6c64073728e4670f /plugins | |
| parent | cf018315998de2c3ac53806558a233fa88a6f1fe (diff) | |
| parent | a3cbf400d291fe0427f28d2847a0002cb17474dc (diff) | |
Merge PR #8536: Fix #8513: EConstr.eq_constr doesn't properly take into account universe variables
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions