kill dead code

diff --git a/src/surf/xml/platf_private.hpp b/src/surf/xml/platf_private.hpp
index dd7d26d..3a6f7b0 100644 (file)
--- a/src/surf/xml/platf_private.hpp
+++ b/src/surf/xml/platf_private.hpp
@@ -152,12 +152,6 @@ public:
   std::string name;
 };
 
-struct s_sg_platf_prop_cbarg_t {
-  const char *id;
-  const char *value;
-};
-typedef s_sg_platf_prop_cbarg_t* sg_platf_prop_cbarg_t;
-
 class TraceCreationArgs {
 public:
   std::string id;