Revert "testsuite: Fix broken_without_gmp"

Authored by bgamari on Sun, Dec 23, 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
bgamariSun, Dec 23, 12:45 PM
Parents
rGHCe59439af3222: testsuite: Fix broken_without_gmp
Branches
Unknown
Tags
Unknown
Reverts
rGHCe59439af3222: testsuite: Fix broken_without_gmp