From 0016be1c7eb8b02be7944c8aa2daf7782fb19a53 Mon Sep 17 00:00:00 2001
From: H.G.Muller <hgm@hgm-xboard.(none)>
Date: Thu, 12 May 2016 15:49:26 +0200
Subject: [PATCH] Forgotten header for previous patch

---
 frontend.h |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)

diff --git a/frontend.h b/frontend.h
index 8bdf558..280a1fc 100644
--- a/frontend.h
+++ b/frontend.h
@@ -245,6 +245,7 @@ int  EvalGraphDialogExists P((void));
 void SlavePopUp P((void));
 void ActivateTheme P((int new));
 char *Col2Text P((int n));
+char *Shorten P((char *s));
 
 /* these are in xhistory.c  */
 Boolean MoveHistoryIsUp P((void));
-- 
1.7.0.4