summaryrefslogtreecommitdiff
path: root/mpz
diff options
context:
space:
mode:
authorMarco Bodrato <bodrato@mail.dm.unipi.it>2022-02-02 13:25:12 +0100
committerMarco Bodrato <bodrato@mail.dm.unipi.it>2022-02-02 13:25:12 +0100
commit530e376209acc8a8ff669c5f8a0908b489687240 (patch)
tree7103af54ecf5ba64337ddcc3ca8f3b5d07acc510 /mpz
parentbaf214a696b44543710fe1810cc6d54e09a0739c (diff)
downloadgmp-530e376209acc8a8ff669c5f8a0908b489687240.tar.gz
mpz/{init2.c,realloc.c,realloc2.c}: Remove unneeded #includes
Diffstat (limited to 'mpz')
-rw-r--r--mpz/init2.c2
-rw-r--r--mpz/realloc.c2
-rw-r--r--mpz/realloc2.c2
3 files changed, 0 insertions, 6 deletions
diff --git a/mpz/init2.c b/mpz/init2.c
index 3133f60ab..118a20cae 100644
--- a/mpz/init2.c
+++ b/mpz/init2.c
@@ -28,8 +28,6 @@ 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 <stdlib.h>
-#include <stdio.h>
#include "gmp-impl.h"
void
diff --git a/mpz/realloc.c b/mpz/realloc.c
index 184fdf8c9..1f738fba1 100644
--- a/mpz/realloc.c
+++ b/mpz/realloc.c
@@ -29,8 +29,6 @@ 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 <stdlib.h>
-#include <stdio.h>
#include "gmp-impl.h"
void *
diff --git a/mpz/realloc2.c b/mpz/realloc2.c
index 9fa3a7578..fb3011dde 100644
--- a/mpz/realloc2.c
+++ b/mpz/realloc2.c
@@ -28,8 +28,6 @@ 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 <stdlib.h>
-#include <stdio.h>
#include "gmp-impl.h"
void