From c10a1e54dc77b28ff232337610aff1c0c4b458de Mon Sep 17 00:00:00 2001
From: Benno Schulenberg <bensberg@telfort.nl>
Date: Sun, 17 Sep 2017 12:14:37 +0200
Subject: [PATCH] tweaks: elide an unneeded function now that stuff is grouped
 together

---
 src/history.c | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

diff --git a/src/history.c b/src/history.c
index 45684ac1..dd25eab6 100644
--- a/src/history.c
+++ b/src/history.c
@@ -28,12 +28,6 @@
 static bool history_changed = FALSE;
 	/* Have any of the history lists changed? */
 
-/* Indicate whether any of the history lists have changed. */
-bool history_has_changed(void)
-{
-    return history_changed;
-}
-
 /* Initialize the search and replace history lists. */
 void history_init(void)
 {
@@ -405,7 +399,7 @@ void save_history(void)
     FILE *hist;
 
     /* If the histories are unchanged or empty, don't bother saving them. */
-    if (!history_has_changed() || (searchbot->lineno == 1 &&
+    if (!history_changed || (searchbot->lineno == 1 &&
 		replacebot->lineno == 1 && executebot->lineno == 1))
 	return;
 
-- 
GitLab