diff options
| author | Maxime Dénès | 2019-09-04 13:30:38 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2019-09-04 13:43:08 +0200 |
| commit | f5d89508c432e3eec8bcf46e0138a52229c99efe (patch) | |
| tree | 64be5a32572195a9bfe9705d4bdbb72b3df552b1 /dev/ci/docker/bionic_coq | |
| parent | bcf2dae1e39c6ff27c574a82c4451323a673b15f (diff) | |
Make `Print Rings` and `Print Fields` reliable
Previously, they were using a map that was different from the one used
by the real lookup, leading to confusing information (number of
instances could be wrong, etc).
Diffstat (limited to 'dev/ci/docker/bionic_coq')
0 files changed, 0 insertions, 0 deletions