Fix for issue where history file would be read immediately on launch

1 files changed, 3 insertions, 0 deletions

diff --git a/history.h b/history.h
index e2d4612c..296cd399 100644
--- a/history.h
+++ b/history.h
@@ -159,6 +159,9 @@ private:
 
     /** Loads old if necessary */
     bool load_old_if_needed(void);
+    
+    /** Memory maps the history file if necessary */
+    bool mmap_if_needed(void);
 
     /** Deletes duplicates in new_items. */
     void compact_new_items();