diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-11-19 11:30:52 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-11-19 11:30:52 -0800 |
commit | 0d949be444e52f42de4f920d71512c95ff96666d (patch) | |
tree | e0fb946c294eb4f1365ac8a890997c964bbfa28c /src/parser | |
parent | f172b30bfe18a24416fd61f4aa5ce3dea583296e (diff) |
Include stddef.h (needed for size_t) in cvc4_public.h (#5476)
This further removes obsolete explicit includes of stdint.h.
Diffstat (limited to 'src/parser')
-rw-r--r-- | src/parser/antlr_input.cpp | 1 | ||||
-rw-r--r-- | src/parser/cvc/Cvc.g | 1 | ||||
-rw-r--r-- | src/parser/memory_mapped_input_buffer.cpp | 1 | ||||
-rw-r--r-- | src/parser/parser.cpp | 2 | ||||
-rw-r--r-- | src/parser/smt2/Smt2.g | 2 | ||||
-rw-r--r-- | src/parser/tptp/Tptp.g | 1 |
6 files changed, 0 insertions, 8 deletions
diff --git a/src/parser/antlr_input.cpp b/src/parser/antlr_input.cpp index e6d5c3f56..ef85dd1a9 100644 --- a/src/parser/antlr_input.cpp +++ b/src/parser/antlr_input.cpp @@ -18,7 +18,6 @@ #include <antlr3.h> #include <limits.h> -#include <stdint.h> #include "base/output.h" #include "expr/type.h" diff --git a/src/parser/cvc/Cvc.g b/src/parser/cvc/Cvc.g index b62fb0bbb..fe14ce5fc 100644 --- a/src/parser/cvc/Cvc.g +++ b/src/parser/cvc/Cvc.g @@ -546,7 +546,6 @@ api::Term addNots(api::Solver* s, size_t n, api::Term e) { #include <cassert> #include <memory> -#include <stdint.h> #include "options/set_language.h" #include "parser/antlr_tracing.h" diff --git a/src/parser/memory_mapped_input_buffer.cpp b/src/parser/memory_mapped_input_buffer.cpp index f73938db3..9cc1e7dd3 100644 --- a/src/parser/memory_mapped_input_buffer.cpp +++ b/src/parser/memory_mapped_input_buffer.cpp @@ -16,7 +16,6 @@ #include <fcntl.h> #include <stdio.h> -#include <stdint.h> #include <antlr3input.h> diff --git a/src/parser/parser.cpp b/src/parser/parser.cpp index c5746020c..1fc995fd6 100644 --- a/src/parser/parser.cpp +++ b/src/parser/parser.cpp @@ -16,8 +16,6 @@ #include "parser/parser.h" -#include <stdint.h> - #include <cassert> #include <fstream> #include <iostream> diff --git a/src/parser/smt2/Smt2.g b/src/parser/smt2/Smt2.g index f81bfc163..88035dba4 100644 --- a/src/parser/smt2/Smt2.g +++ b/src/parser/smt2/Smt2.g @@ -63,8 +63,6 @@ options { }/* @lexer::includes */ @lexer::postinclude { -#include <stdint.h> - #include "parser/smt2/smt2.h" #include "parser/antlr_input.h" diff --git a/src/parser/tptp/Tptp.g b/src/parser/tptp/Tptp.g index 71c1de2fa..447a867c8 100644 --- a/src/parser/tptp/Tptp.g +++ b/src/parser/tptp/Tptp.g @@ -61,7 +61,6 @@ options { }/* @lexer::includes */ @lexer::postinclude { -#include <stdint.h> #include "parser/tptp/tptp.h" #include "parser/antlr_input.h" |