diff options
Diffstat (limited to 'src/util/hash.h')
| -rw-r--r-- | src/util/hash.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/util/hash.h b/src/util/hash.h index dc1d19b5e..6f6af2bd7 100644 --- a/src/util/hash.h +++ b/src/util/hash.h @@ -20,7 +20,6 @@ #ifndef CVC4__HASH_H #define CVC4__HASH_H -#include <cstdint> #include <functional> #include <string> |