diff options
Diffstat (limited to 'src/expr')
-rw-r--r-- | src/expr/attribute.h | 1 | ||||
-rw-r--r-- | src/expr/attribute_internals.h | 1 | ||||
-rw-r--r-- | src/expr/attribute_unique_id.h | 2 | ||||
-rw-r--r-- | src/expr/expr_template.h | 1 | ||||
-rw-r--r-- | src/expr/kind_map.h | 1 | ||||
-rw-r--r-- | src/expr/node.h | 2 | ||||
-rw-r--r-- | src/expr/node_builder.h | 1 | ||||
-rw-r--r-- | src/expr/node_traversal.h | 1 | ||||
-rw-r--r-- | src/expr/node_value.h | 2 | ||||
-rw-r--r-- | src/expr/type.h | 1 | ||||
-rw-r--r-- | src/expr/type_node.h | 2 |
11 files changed, 0 insertions, 15 deletions
diff --git a/src/expr/attribute.h b/src/expr/attribute.h index 2aa5c2fbc..1b5b6974d 100644 --- a/src/expr/attribute.h +++ b/src/expr/attribute.h @@ -25,7 +25,6 @@ #define CVC4__EXPR__ATTRIBUTE_H #include <string> -#include <stdint.h> #include "expr/attribute_unique_id.h" // include supporting templates diff --git a/src/expr/attribute_internals.h b/src/expr/attribute_internals.h index 37846cf45..e93656708 100644 --- a/src/expr/attribute_internals.h +++ b/src/expr/attribute_internals.h @@ -23,7 +23,6 @@ #ifndef CVC4__EXPR__ATTRIBUTE_INTERNALS_H #define CVC4__EXPR__ATTRIBUTE_INTERNALS_H -#include <cstdint> #include <unordered_map> namespace CVC4 { diff --git a/src/expr/attribute_unique_id.h b/src/expr/attribute_unique_id.h index 2862e0d44..bf7c8926b 100644 --- a/src/expr/attribute_unique_id.h +++ b/src/expr/attribute_unique_id.h @@ -19,8 +19,6 @@ #pragma once -#include <stdint.h> - // ATTRIBUTE IDs ============================================================ namespace CVC4 { diff --git a/src/expr/expr_template.h b/src/expr/expr_template.h index 4c863184e..e62dee7f6 100644 --- a/src/expr/expr_template.h +++ b/src/expr/expr_template.h @@ -26,7 +26,6 @@ ${includes} #ifndef CVC4__EXPR_H #define CVC4__EXPR_H -#include <stdint.h> #include <iosfwd> #include <iterator> #include <string> diff --git a/src/expr/kind_map.h b/src/expr/kind_map.h index e440fbc3d..996a32268 100644 --- a/src/expr/kind_map.h +++ b/src/expr/kind_map.h @@ -20,7 +20,6 @@ #ifndef CVC4__KIND_MAP_H #define CVC4__KIND_MAP_H -#include <stdint.h> #include <iterator> #include "base/check.h" diff --git a/src/expr/node.h b/src/expr/node.h index f18f27c81..75d4d2022 100644 --- a/src/expr/node.h +++ b/src/expr/node.h @@ -22,8 +22,6 @@ #ifndef CVC4__NODE_H #define CVC4__NODE_H -#include <stdint.h> - #include <algorithm> #include <functional> #include <iostream> diff --git a/src/expr/node_builder.h b/src/expr/node_builder.h index d8e15a60a..eaa9a46d5 100644 --- a/src/expr/node_builder.h +++ b/src/expr/node_builder.h @@ -158,7 +158,6 @@ #include <cstdlib> #include <iostream> #include <memory> -#include <stdint.h> #include <vector> namespace CVC4 { diff --git a/src/expr/node_traversal.h b/src/expr/node_traversal.h index 1bc907019..e7e49db45 100644 --- a/src/expr/node_traversal.h +++ b/src/expr/node_traversal.h @@ -17,7 +17,6 @@ #ifndef CVC4__EXPR__NODE_TRAVERSAL_H #define CVC4__EXPR__NODE_TRAVERSAL_H -#include <cstddef> #include <functional> #include <iterator> #include <unordered_map> diff --git a/src/expr/node_value.h b/src/expr/node_value.h index 66a7952c7..0635e983b 100644 --- a/src/expr/node_value.h +++ b/src/expr/node_value.h @@ -26,8 +26,6 @@ #ifndef CVC4__EXPR__NODE_VALUE_H #define CVC4__EXPR__NODE_VALUE_H -#include <stdint.h> - #include <iterator> #include <string> diff --git a/src/expr/type.h b/src/expr/type.h index 6867673f8..69a8363dc 100644 --- a/src/expr/type.h +++ b/src/expr/type.h @@ -20,7 +20,6 @@ #define CVC4__TYPE_H #include <climits> -#include <cstdint> #include <string> #include <vector> diff --git a/src/expr/type_node.h b/src/expr/type_node.h index 895e05093..01e096c72 100644 --- a/src/expr/type_node.h +++ b/src/expr/type_node.h @@ -22,8 +22,6 @@ #ifndef CVC4__TYPE_NODE_H #define CVC4__TYPE_NODE_H -#include <stdint.h> - #include <iostream> #include <string> #include <unordered_map> |