travis-ci: save prove state for the 32 bit Linux build

diff --git a/string-list.h b/string-list.h
index d3809a14172da5b1512b08fa411136821465659e..29bfb7ae45931686e14c91b1a47a703e7b32fe52 100644 (file)
--- a/string-list.h
+++ b/string-list.h
@@ -62,6 +62,13 @@ int string_list_find_insert_index(const struct string_list *list, const char *st
  */
 struct string_list_item *string_list_insert(struct string_list *list, const char *string);
 
+/*
+ * Removes the given string from the sorted list.
+ * If the string doesn't exist, the list is not altered.
+ */
+extern void string_list_remove(struct string_list *list, const char *string,
+                              int free_util);
+
 /*
  * Checks if the given string is part of a sorted list. If it is part of the list,
  * return the coresponding string_list_item, NULL otherwise.