fix up 5054 test

Authored by dterei on Nov 15 2011, 1:43 PM.

Description

fix up 5054 test

Details

Committed
dtereiNov 15 2011, 1:43 PM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFFa49e501da9da: add test for #5626
Branches
Unknown
Tags
Unknown