Include stddef.h (needed for size_t) in cvc4_public.h (#5476)

This further removes obsolete explicit includes of stdint.h.

12 files changed, 0 insertions, 31 deletions

diff --git a/src/util/bitvector.h b/src/util/bitvector.h
index 3ca410f72..997293639 100644
--- a/src/util/bitvector.h
+++ b/src/util/bitvector.h
@@ -19,7 +19,6 @@
 #ifndef CVC4__BITVECTOR_H
 #define CVC4__BITVECTOR_H
 
-#include <cstdint>
 #include <iosfwd>
 
 #include "base/exception.h"
diff --git a/src/util/gmp_util.h b/src/util/gmp_util.h
index c50bac71f..995579c3b 100644
--- a/src/util/gmp_util.h
+++ b/src/util/gmp_util.h
@@ -20,13 +20,6 @@
 #ifndef CVC4__GMP_UTIL_H
 #define CVC4__GMP_UTIL_H
 
-/*
- * Older versions of GMP in combination with newer versions of GCC and C++11
- * cause errors: https://gcc.gnu.org/gcc-4.9/porting_to.html
- * Including <cstddef> is a workaround for this issue.
- */
-#include <cstddef>
-
 #include <gmpxx.h>
 
 namespace CVC4 {
diff --git a/src/util/hash.h b/src/util/hash.h
index dc1d19b5e..6f6af2bd7 100644
--- a/src/util/hash.h
+++ b/src/util/hash.h
@@ -20,7 +20,6 @@
 #ifndef CVC4__HASH_H
 #define CVC4__HASH_H
 
-#include <cstdint>
 #include <functional>
 #include <string>
 
diff --git a/src/util/iand.h b/src/util/iand.h
index 5b0cbb628..68380824f 100644
--- a/src/util/iand.h
+++ b/src/util/iand.h
@@ -17,7 +17,6 @@
 #ifndef CVC4__IAND_H
 #define CVC4__IAND_H
 
-#include <cstdint>
 #include <iosfwd>
 
 #include "base/exception.h"
diff --git a/src/util/index.cpp b/src/util/index.cpp
index 37b5f60a9..73fc54907 100644
--- a/src/util/index.cpp
+++ b/src/util/index.cpp
@@ -17,7 +17,6 @@
 
 #include "util/index.h"
 
-#include <cstddef>
 #include <limits>
 
 namespace CVC4 {
diff --git a/src/util/index.h b/src/util/index.h
index 1954e4365..d37ddb43e 100644
--- a/src/util/index.h
+++ b/src/util/index.h
@@ -19,8 +19,6 @@
 #ifndef CVC4__INDEX_H
 #define CVC4__INDEX_H
 
-#include <cstdint>
-
 namespace CVC4 {
 
 /** Index is a standardized unsigned integer used for efficient indexing. */
diff --git a/src/util/rational_gmp_imp.h b/src/util/rational_gmp_imp.h
index 12a696857..f166d9cdc 100644
--- a/src/util/rational_gmp_imp.h
+++ b/src/util/rational_gmp_imp.h
@@ -20,14 +20,8 @@
 #ifndef CVC4__RATIONAL_H
 #define CVC4__RATIONAL_H
 
-/*
- * Older versions of GMP in combination with newer versions of GCC and C++11
- * cause errors: https://gcc.gnu.org/gcc-4.9/porting_to.html
- * Including <cstddef> is a workaround for this issue.
- */
 #include <gmp.h>
 
-#include <cstddef>
 #include <string>
 
 #include "base/exception.h"
diff --git a/src/util/regexp.h b/src/util/regexp.h
index abd76fff7..42c1b39d5 100644
--- a/src/util/regexp.h
+++ b/src/util/regexp.h
@@ -17,7 +17,6 @@
 #ifndef CVC4__UTIL__REGEXP_H
 #define CVC4__UTIL__REGEXP_H
 
-#include <cstdint>
 #include <iosfwd>
 
 namespace CVC4 {
diff --git a/src/util/resource_manager.h b/src/util/resource_manager.h
index f6cff2e7f..3be99021b 100644
--- a/src/util/resource_manager.h
+++ b/src/util/resource_manager.h
@@ -24,7 +24,6 @@
 #include <sys/time.h>
 
 #include <chrono>
-#include <cstddef>
 #include <memory>
 
 #include "base/exception.h"
diff --git a/src/util/safe_print.h b/src/util/safe_print.h
index b16441260..6f72569bb 100644
--- a/src/util/safe_print.h
+++ b/src/util/safe_print.h
@@ -37,13 +37,6 @@
 #ifndef CVC4__SAFE_PRINT_H
 #define CVC4__SAFE_PRINT_H
 
-#if __cplusplus >= 201103L
-// For c++11 and newer
-#include <cstdint>
-#else
-#include <stdint.h>
-#endif
-
 #include <unistd.h>
 
 #include <cstring>
diff --git a/src/util/statistics_registry.h b/src/util/statistics_registry.h
index 186b09307..f706f3321 100644
--- a/src/util/statistics_registry.h
+++ b/src/util/statistics_registry.h
@@ -36,8 +36,6 @@
 #ifndef CVC4__STATISTICS_REGISTRY_H
 #define CVC4__STATISTICS_REGISTRY_H
 
-#include <stdint.h>
-
 #include <ctime>
 #include <iomanip>
 #include <map>
diff --git a/src/util/string.h b/src/util/string.h
index 3fce6ea2e..7102ec1f2 100644
--- a/src/util/string.h
+++ b/src/util/string.h
@@ -17,7 +17,6 @@
 #ifndef CVC4__UTIL__STRING_H
 #define CVC4__UTIL__STRING_H
 
-#include <cstddef>
 #include <functional>
 #include <ostream>
 #include <string>