diff options
| author | coqbot-app[bot] | 2020-12-08 16:35:45 +0000 |
|---|---|---|
| committer | GitHub | 2020-12-08 16:35:45 +0000 |
| commit | 6cac4e19e883b798a4439d3a2c0189dafbce82b1 (patch) | |
| tree | 211d96f616ef51e458b3f05aa64b3555ba2d01ce /dev/include | |
| parent | eed93daca185e08a042f26886e30a50b1d60bbac (diff) | |
| parent | f4af5d4b09f262ef6388a2c0eeed85bf9b7ab3f9 (diff) | |
Merge PR #13597: Congruence: don't replace error messages by "congruence failed"
Reviewed-by: ejgallego
Ack-by: PierreCorbineau
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions