Need to verify that none of the Prolog code depends on GMP. Conditional running of some tests was done by commit 76074069258ae6798e0c15894a876043a45fb94d but that might have obscured some usages of GMP within the code.
Need to verify that none of the Prolog code depends on GMP.
Conditional running of some tests was done by commit 7607406 but that might have obscured some usages of GMP within the code.