From 3c727173c2bcad29cbafe46462b19147fa2f6efa Mon Sep 17 00:00:00 2001
From: ridiculousfish <corydoras@ridiculousfish.com>
Date: Wed, 16 Oct 2019 11:55:40 -0700
Subject: [PATCH] Include ctime in history_file.h

Fixes a build failure on FreeBSD.

Fixes #6210
---
 src/history_file.h | 1 +
 1 file changed, 1 insertion(+)

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 <sys/mman.h>
 
 #include <cassert>
+#include <ctime>
 #include <memory>
 
 #include "maybe.h"