Fix more gmp.h -> mpir.h.
This commit is contained in:
parent
7180e50d46
commit
44d5c89b2d
@ -28,7 +28,7 @@ You should have received copies of the GNU General Public License and the
|
||||
GNU Lesser General Public License along with the GNU MP Library. If not,
|
||||
see https://www.gnu.org/licenses/. */
|
||||
|
||||
#include "gmp.h"
|
||||
#include "mpir.h"
|
||||
#include "gmp-impl.h"
|
||||
|
||||
void
|
||||
|
@ -28,7 +28,7 @@ You should have received copies of the GNU General Public License and the
|
||||
GNU Lesser General Public License along with the GNU MP Library. If not,
|
||||
see https://www.gnu.org/licenses/. */
|
||||
|
||||
#include "gmp.h"
|
||||
#include "mpir.h"
|
||||
#include "gmp-impl.h"
|
||||
|
||||
mp_ptr
|
||||
|
@ -28,7 +28,7 @@ You should have received copies of the GNU General Public License and the
|
||||
GNU Lesser General Public License along with the GNU MP Library. If not,
|
||||
see https://www.gnu.org/licenses/. */
|
||||
|
||||
#include "gmp.h"
|
||||
#include "mpir.h"
|
||||
#include "gmp-impl.h"
|
||||
|
||||
mp_srcptr
|
||||
|
@ -28,7 +28,7 @@ You should have received copies of the GNU General Public License and the
|
||||
GNU Lesser General Public License along with the GNU MP Library. If not,
|
||||
see https://www.gnu.org/licenses/. */
|
||||
|
||||
#include "gmp.h"
|
||||
#include "mpir.h"
|
||||
#include "gmp-impl.h"
|
||||
|
||||
mp_ptr
|
||||
|
@ -28,7 +28,7 @@ You should have received copies of the GNU General Public License and the
|
||||
GNU Lesser General Public License along with the GNU MP Library. If not,
|
||||
see https://www.gnu.org/licenses/. */
|
||||
|
||||
#include "gmp.h"
|
||||
#include "mpir.h"
|
||||
#include "gmp-impl.h"
|
||||
|
||||
mpz_srcptr
|
||||
|
Loading…
Reference in New Issue
Block a user