1 files changed, 3 insertions, 0 deletions
diff --git a/history.h b/history.h
index 236b43d4..a19c8844 100644
--- a/history.h
+++ b/history.h
@@ -175,6 +175,9 @@ private:
     /** Saves history */
     void save_internal(bool vacuum);
 
+    /* Do a private, read-only map of the entirety of a history file with the given name. Returns true if successful. Returns the mapped memory region by reference. */
+    bool map_file(const wcstring &name, const char **out_map_start, size_t *out_map_len, file_id_t *file_id);
+
     /** Whether we're in maximum chaos mode, useful for testing */
     bool chaos_mode;