From 0d949be444e52f42de4f920d71512c95ff96666d Mon Sep 17 00:00:00 2001
From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Thu, 19 Nov 2020 11:30:52 -0800
Subject: Include stddef.h (needed for size_t) in cvc4_public.h (#5476)

This further removes obsolete explicit includes of stdint.h.
---
 src/parser/antlr_input.cpp | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/parser/antlr_input.cpp')

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"
-- 
cgit v1.2.3