diff --git a/src/history_file.h b/src/history_file.h index 8bd209180..bc5992011 100644 --- a/src/history_file.h +++ b/src/history_file.h @@ -6,6 +6,7 @@ #include #include +#include #include #include "maybe.h"