finish to kill a unused function

diff --git a/src/include/surf/surf.h b/src/include/surf/surf.h
index 582a746..4d60d27 100644 (file)
--- a/src/include/surf/surf.h
+++ b/src/include/surf/surf.h
@@ -708,7 +708,6 @@ XBT_PUBLIC(void) surf_exit(void);
 XBT_PUBLIC_DATA(xbt_dict_t) current_property_set;       /* the prop set for the currently parsed element (also used in SIMIX) */
 XBT_PUBLIC_DATA(void) parse_properties(const char* prop_id, const char* prop_value);
 XBT_PUBLIC_DATA(void) parse_properties_XML(void);
-XBT_PUBLIC_DATA(void) parse_properties_lua(const char* prop_id, const char* prop_value);
 
 /* surf parse file related (public because called from a test suite) */
 XBT_PUBLIC(void) parse_platform_file(const char *file);