diff options
Diffstat (limited to 'src/include')
-rw-r--r-- | src/include/cvc4_public.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/include/cvc4_public.h b/src/include/cvc4_public.h index e1b515ba5..8375f7571 100644 --- a/src/include/cvc4_public.h +++ b/src/include/cvc4_public.h @@ -21,6 +21,8 @@ #ifndef __CVC4_PUBLIC_H #define __CVC4_PUBLIC_H +#include <stdint.h> + #if defined _WIN32 || defined __CYGWIN__ # ifdef BUILDING_DLL # ifdef __GNUC__ |