fixing the last merge

[xboard.git] / xhistory.h

diff --git a/xhistory.h b/xhistory.h
index 8e8c5d7..94f2af0 100644 (file)
--- a/xhistory.h
+++ b/xhistory.h
@@ -27,5 +27,7 @@ void HistoryShowProc  P((GtkObject *object, gpointer user_data));
 
 void HistoryPopDown   P((GtkObject *object, gpointer user_data));
 
+Boolean MoveHistoryIsUp P((void));
+
 #endif /* _XHISTL_H */