Revert "testsuite: Fix broken_without_gmp"

Authored by bgamari on Dec 23 2018, 12:45 PM.

Description

Revert "testsuite: Fix broken_without_gmp"

This reverts commit e59439af3222d151918ad1ad2a03942ce9e6a1ff.

This is causing unexpected failures in some test ways. Further proof
that no change is too trivial for CI.

Details

Committed
bgamariDec 23 2018, 12:45 PM
Parents
rGHCe59439af3222: testsuite: Fix broken_without_gmp
Branches
Unknown
Tags
Unknown
Reverts
rGHCe59439af3222: testsuite: Fix broken_without_gmp