summaryrefslogtreecommitdiff
path: root/tests/unpoly.urp
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2010-03-09 18:43:29 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2010-03-09 18:43:29 -0500
commita00e028f21afd87ef9dd3ed143f52fe648275d45 (patch)
tree786f2220bfb52b3f7b682ab3b1093cbdcae2886d /tests/unpoly.urp
parentba73bb0f4dc54d67c55f0d8c74ebe8ac62344217 (diff)
Re-add accidentally-removed parsing case for 'effectful'
Diffstat (limited to 'tests/unpoly.urp')
0 files changed, 0 insertions, 0 deletions