-
Herbert Valerio Riedel authored
When `integer-gmp` was moved out of the RTS (via 1b61c2db ) these declarations were missed. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
ed86b1a3
When `integer-gmp` was moved out of the RTS (via 1b61c2db ) these declarations were missed. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>