diff options
author | Alec Theriault <alec.theriault@gmail.com> | 2018-01-05 09:59:59 -0800 |
---|---|---|
committer | Alexander Biehl <alexbiehl@gmail.com> | 2018-02-01 14:58:18 +0100 |
commit | 6ed6c110c874a746b002aca148192c3cbc819d7f (patch) | |
tree | 0bd3be02e0b402affbc474fd695db523021772ab /latex-test/ref/Simple | |
parent | 9fd7f8bff6bdb6459fbecdc02db09789cfb6c816 (diff) |
Fix infinite loop when specializing instance heads (#723)
* Fix infinite loop when specializing instance heads
The bug can only be triggered from TH, hence why it went un-noticed for
so long.
* Add test for #679 and #710
Diffstat (limited to 'latex-test/ref/Simple')
0 files changed, 0 insertions, 0 deletions