diff options
| author | Alec Theriault <alec.theriault@gmail.com> | 2018-10-26 14:22:23 -0700 |
|---|---|---|
| committer | Alec Theriault <alec.theriault@gmail.com> | 2018-10-26 14:22:23 -0700 |
| commit | 2b94a90a23f03a749e3703af330d9585a5de0bae (patch) | |
| tree | a9c2debf02b417f4106e0b55cf0bfb918b3c8dbc /latex-test/ref/TypeFamilies3/TypeFamilies3.tex | |
| parent | cd520e9907b9a56cae5a2e51413eef1522a37bbb (diff) | |
Avoid some partiality
AFAICT this wasn't causing any crashes, but that's mostly because
we happen not to be forcing `pkgStr` when it would diverge. We come
dangerously close to doing that in `ppHtmlIndex`.
Fixes #569.
Diffstat (limited to 'latex-test/ref/TypeFamilies3/TypeFamilies3.tex')
0 files changed, 0 insertions, 0 deletions