diff --git a/src/types_list.h b/src/types_list.h
index c7e6aa0edfba05834991713770b9bdb19e7bc4d6..8fe6ce8282c2fe1c4954c5370c5e1626fd88a8af 100644 (file)
--- a/src/types_list.h
+++ b/src/types_list.h
* Florian octo Forster <octo at verplant.org>
**/
-int read_types_list (void);
+int read_types_list (const char *file);
#endif /* TYPES_LIST_H */