diff options
Diffstat (limited to 'src/parser/cvc')
-rw-r--r-- | src/parser/cvc/Cvc.g | 1 |
1 files changed, 0 insertions, 1 deletions
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" |