Temporary workaround for gh-231
authorHerbert Valerio Riedel <hvr@gnu.org>
Tue, 28 Aug 2018 14:11:52 +0000 (16:11 +0200)
committerHerbert Valerio Riedel <hvr@gnu.org>
Tue, 28 Aug 2018 15:05:03 +0000 (17:05 +0200)
commit8f1a2c4efc379ddcfe76c74df08f9498229783f8
tree88b325af2c2f37ce6c07a50facfa58060f9b049a
parentd911880e42df17be6e6affd669a8c6aa90fba727
Temporary workaround for gh-231

This needs to be reverted (or rather inverted) once gh-231 is
resolved
tests/Tests/Properties.hs