summaryrefslogtreecommitdiff
path: root/rand
diff options
context:
space:
mode:
authorTorbjorn Granlund <tg@gmplib.org>2016-08-29 21:40:14 +0200
committerTorbjorn Granlund <tg@gmplib.org>2016-08-29 21:40:14 +0200
commit89e2ec7c663922359f49689c92e8c778f4f566bc (patch)
tree5e622726688019e65bf2fc7f6684050b7b0fddb5 /rand
parent9deac7786c2eebbb7bdb805a544e7f7f0f3f86d3 (diff)
downloadgmp-89e2ec7c663922359f49689c92e8c778f4f566bc.tar.gz
Include just gmp-impl.h, make gmp-impl.h grab gmp.h.
Diffstat (limited to 'rand')
-rw-r--r--rand/rand.c1
-rw-r--r--rand/randbui.c1
-rw-r--r--rand/randclr.c1
-rw-r--r--rand/randdef.c1
-rw-r--r--rand/randiset.c1
-rw-r--r--rand/randlc2s.c1
-rw-r--r--rand/randlc2x.c1
-rw-r--r--rand/randmt.c1
-rw-r--r--rand/randmts.c1
-rw-r--r--rand/randmui.c1
-rw-r--r--rand/rands.c1
-rw-r--r--rand/randsd.c1
-rw-r--r--rand/randsdui.c1
13 files changed, 0 insertions, 13 deletions
diff --git a/rand/rand.c b/rand/rand.c
index 09e3b765b..418b3dec7 100644
--- a/rand/rand.c
+++ b/rand/rand.c
@@ -30,7 +30,6 @@ see https://www.gnu.org/licenses/. */
#include <stdarg.h>
-#include "gmp.h"
#include "gmp-impl.h"
void
diff --git a/rand/randbui.c b/rand/randbui.c
index 619ab91bd..de9e95b9a 100644
--- a/rand/randbui.c
+++ b/rand/randbui.c
@@ -28,7 +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 "gmp.h"
#include "gmp-impl.h"
diff --git a/rand/randclr.c b/rand/randclr.c
index fb3798b73..5603ed7e7 100644
--- a/rand/randclr.c
+++ b/rand/randclr.c
@@ -28,7 +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 "gmp.h"
#include "gmp-impl.h"
void
diff --git a/rand/randdef.c b/rand/randdef.c
index 7d173f936..a8a1792ec 100644
--- a/rand/randdef.c
+++ b/rand/randdef.c
@@ -28,7 +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 "gmp.h"
#include "gmp-impl.h"
void
diff --git a/rand/randiset.c b/rand/randiset.c
index 66f4bc490..11b5b971e 100644
--- a/rand/randiset.c
+++ b/rand/randiset.c
@@ -28,7 +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 "gmp.h"
#include "gmp-impl.h"
diff --git a/rand/randlc2s.c b/rand/randlc2s.c
index 013e87728..42ed8c450 100644
--- a/rand/randlc2s.c
+++ b/rand/randlc2s.c
@@ -30,7 +30,6 @@ GNU Lesser General Public License along with the GNU MP Library. If not,
see https://www.gnu.org/licenses/. */
#include <stdio.h> /* for NULL */
-#include "gmp.h"
#include "gmp-impl.h"
diff --git a/rand/randlc2x.c b/rand/randlc2x.c
index 30e4a4a63..4c03eb46f 100644
--- a/rand/randlc2x.c
+++ b/rand/randlc2x.c
@@ -28,7 +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 "gmp.h"
#include "gmp-impl.h"
diff --git a/rand/randmt.c b/rand/randmt.c
index f3cdc6666..f42e8edc9 100644
--- a/rand/randmt.c
+++ b/rand/randmt.c
@@ -34,7 +34,6 @@ see https://www.gnu.org/licenses/. */
#include <stdio.h> /* for NULL */
-#include "gmp.h"
#include "gmp-impl.h"
#include "randmt.h"
diff --git a/rand/randmts.c b/rand/randmts.c
index 7c1c262f5..2c3fc0991 100644
--- a/rand/randmts.c
+++ b/rand/randmts.c
@@ -28,7 +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 "gmp.h"
#include "gmp-impl.h"
#include "randmt.h"
diff --git a/rand/randmui.c b/rand/randmui.c
index 2d4ef86aa..d3292db1b 100644
--- a/rand/randmui.c
+++ b/rand/randmui.c
@@ -28,7 +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 "gmp.h"
#include "gmp-impl.h"
#include "longlong.h"
diff --git a/rand/rands.c b/rand/rands.c
index 1701da7a2..af436a479 100644
--- a/rand/rands.c
+++ b/rand/rands.c
@@ -33,7 +33,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 "gmp.h"
#include "gmp-impl.h"
diff --git a/rand/randsd.c b/rand/randsd.c
index 1214d000d..b0e3dd65e 100644
--- a/rand/randsd.c
+++ b/rand/randsd.c
@@ -28,7 +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 "gmp.h"
#include "gmp-impl.h"
void
diff --git a/rand/randsdui.c b/rand/randsdui.c
index 1c97232e3..46d80ad4c 100644
--- a/rand/randsdui.c
+++ b/rand/randsdui.c
@@ -29,7 +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 "gmp.h"
#include "gmp-impl.h"
void