diff options
| author | Hugo Herbelin | 2017-11-20 22:04:55 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2017-11-23 12:52:29 +0100 |
| commit | 9285bf164e0e9723b482d668f52ec6363623383c (patch) | |
| tree | 0b1f0af85afffa93c47f8df56c0d3bca2f4b9d5d /kernel | |
| parent | 22ae762fa8940028f6a3d8a5fd4147d5ca3b53b9 (diff) | |
Fixing a 8.7 regression of ring_simplify in ArithRing.
With help from Guillaume (see discussion at
https://github.com/coq/coq/issues/6191).
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions