add test for #5626

Authored by simonmar on Nov 15 2011, 5:54 AM.

Description

add test for Trac #5626

Details

Committed
simonmarNov 15 2011, 5:54 AM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFF4fe140c9fda7: cleaning of testsuite
Branches
Unknown
Tags
Unknown