diff options
author | 2011-11-16 18:21:32 +0000 | |
---|---|---|
committer | 2011-11-16 18:21:32 +0000 | |
commit | 722396c78f534aeeaa2ee65121d705949576f2cb (patch) | |
tree | f8d07b5db5e3e60d79936807fb7bed22ce00bbe3 /tests/3816.hs | |
parent | 4bf53dbed1933ccc68c9e4e295382c4cdfc1c082 (diff) |
Add a test for #5319
Diffstat (limited to 'tests/3816.hs')
0 files changed, 0 insertions, 0 deletions