diff options
Diffstat (limited to 'src/context/cdlist.h')
-rw-r--r-- | src/context/cdlist.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/context/cdlist.h b/src/context/cdlist.h index cb5e552ac..0515d7126 100644 --- a/src/context/cdlist.h +++ b/src/context/cdlist.h @@ -20,6 +20,7 @@ #ifndef CVC4__CONTEXT__CDLIST_H #define CVC4__CONTEXT__CDLIST_H +#include <cstring> #include <iterator> #include <memory> #include <string> |