From 7f40b5467867639e341f20ac756294b86feaf737 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Wed, 2 Nov 2011 23:16:58 +0100 Subject: [PATCH] finish to kill a unused function --- src/include/surf/surf.h | 1 - 1 file changed, 1 deletion(-) diff --git a/src/include/surf/surf.h b/src/include/surf/surf.h index 582a746d5d..4d60d277bb 100644 --- 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); -- 2.20.1