diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2020-05-29 22:51:26 +0000 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2020-06-03 17:02:31 -0400 |
| commit | 792b82861a8abd03579a281dfdcbbb7081668997 (patch) | |
| tree | 427aa9125eb08fd4cb57970d2ab51940d8551383 /latex-test/ref/GadtConstructorArgs/main.tex | |
| parent | 60c85324ae083e2ac3d6180c0f20db5cdb31168b (diff) | |
testsuite: Update expected output for simplified subsumption
Diffstat (limited to 'latex-test/ref/GadtConstructorArgs/main.tex')
0 files changed, 0 insertions, 0 deletions