diff options
Diffstat (limited to 'src/theory/arith/bound_counts.h')
| -rw-r--r-- | src/theory/arith/bound_counts.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/theory/arith/bound_counts.h b/src/theory/arith/bound_counts.h index 217af5641..d1044f36b 100644 --- a/src/theory/arith/bound_counts.h +++ b/src/theory/arith/bound_counts.h @@ -18,8 +18,6 @@ #include "cvc4_private.h" #pragma once -#include <stdint.h> - #include "base/check.h" #include "theory/arith/arithvar.h" #include "util/dense_map.h" |