Merge pull request #193 from Takishipp/signals

get sg_instr_new_router through a signal

diff --cc src/instr/instr_paje_types.cpp
Simple merge

diff --cc src/surf/sg_platf.cpp
Simple merge

diff --cc src/surf/xml/platf_private.hpp
index 931f78a,ca6daa0..d6b4dd8
--- 1/src/surf/xml/platf_private.hpp
--- 2/src/surf/xml/platf_private.hpp
+++ b/src/surf/xml/platf_private.hpp
@@@ -238,9 -238,12 +238,7 @@@ XBT_PUBLIC(int) surf_parse_get_debug()
  XBT_PUBLIC(void) surf_parse_set_debug(int bdebug);
  XBT_PUBLIC(int) surf_parse_lex_destroy();
  
 -/* To include files (?) */
 -XBT_PRIVATE void surfxml_bufferstack_push(int _new);
 -XBT_PRIVATE void surfxml_bufferstack_pop(int _new);
 -XBT_PUBLIC_DATA(int) surfxml_bufferstack_size;
 -
  XBT_PUBLIC(void) routing_route_free(sg_platf_route_cbarg_t route);
- /********** Instr. **********/
- XBT_PRIVATE void sg_instr_new_router(const char* name);
  
  SG_END_DECL()