diff options
| author | Maxime Dénès | 2019-04-04 00:26:20 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2019-04-05 21:16:14 +0200 |
| commit | 73e7bbab4ff6120318ec7b90e4971bfafd09cfb5 (patch) | |
| tree | 75447c936404030e8c8e89b664aef6d978dc8341 /dev/include_printers | |
| parent | 3c06ce8dc3a95e5dfe3a4c0a9acdc7dd5dac75cb (diff) | |
[native compiler] Normalize before destructuring sort
This was making an assertion fail on
https://github.com/coq/coq/issues/9684 after 23f84f37
Diffstat (limited to 'dev/include_printers')
0 files changed, 0 insertions, 0 deletions