diff --git a/widget-control.c b/widget-control.c
index 62b62f96..92d4f6c7 100644
--- a/widget-control.c
+++ b/widget-control.c
@@ -62,6 +62,8 @@ int *feature_first_value;
 // int feature_last_value[feature_end_index];
 int *feature_last_value;
 
+int finish(int return_value);
+
 void feature_first_and_last_init(void) {
 	int i, j;
 	feature_first_value[true_feature_major_index] = -1;