aboutsummaryrefslogtreecommitdiff
path: root/latex-test/ref/GadtConstructorArgs/main.tex
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2020-05-29 22:51:26 +0000
committerBen Gamari <ben@smart-cactus.org>2020-06-03 17:02:31 -0400
commit792b82861a8abd03579a281dfdcbbb7081668997 (patch)
tree427aa9125eb08fd4cb57970d2ab51940d8551383 /latex-test/ref/GadtConstructorArgs/main.tex
parent60c85324ae083e2ac3d6180c0f20db5cdb31168b (diff)
testsuite: Update expected output for simplified subsumption
Diffstat (limited to 'latex-test/ref/GadtConstructorArgs/main.tex')
0 files changed, 0 insertions, 0 deletions