1 files changed, 1 insertions, 0 deletions
diff --git a/display.h b/display.h
index 29b21a654..8a8b42634 100644
--- a/display.h
+++ b/display.h
@@ -8,5 +8,6 @@
 extern int selected_dive;
 extern GtkWidget *dive_profile_frame(void);
 extern GtkWidget *create_dive_list(void);
+extern void repaint_dive(void);
 
 #endif